Robert Staley Cartwright, Jr.
Ph.D. Stanford University 1977
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Moez AbdelGawad | Rice University | 2011 | |
| Ramarao Kanneganti | Rice University | 1995 | |
| Mathias Ricken | Rice University | 2011 |
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.