Robert Staley Cartwright, Jr.


Ph.D. Stanford University 1977 UnitedStates
Dissertation: A Practical Formal Semantics and Verification System for Typed LISP

Advisor: David Compton Luckham

Click here to see the students listed in chronological order.

AbdelGawad, MoezRice University2011
Kanneganti, RamaraoRice University1995
Ricken, MathiasRice University2011

According to our current on-line database, Robert Cartwright, Jr. has 3 students and 3 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 14534 for the advisor ID.