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