Howard Elliot Shrobe
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1978
- Country
- United States
- MGP identifier
- 80257
Dissertation: Logic and Reasoning for Complex Program Understanding
Advisor 1
- Gerald Jay SussmanMassachusetts Institute of Technology · 1973
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Michael Harlan Coen | Massachusetts Institute of Technology | 2006 | 0 |
| Harold Fox | Massachusetts Institute of Technology | 2008 | 0 |
| Gary Wai Keung Look | Massachusetts Institute of Technology | 2008 | 0 |
| Stephen Leslie Peters | Massachusetts Institute of Technology | 2006 | 0 |