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.

Moez AbdelGawadRice University2011
Ramarao KannegantiRice University1995
Mathias RickenRice 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.