Robert Staley Cartwright, Jr.

MathSciNet


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

Advisor: David Compton Luckham

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
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.