Gary Todd Leavens
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1989
- Country
- United States
- MGP identifier
- 93863
Dissertation: Verifying Object-Oriented Programs that Use Subtypes
Mathematics Subject Classification: 68—Computer science
Advisor 1
- William Edward WeihlMassachusetts Institute of Technology · 1984
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Yoonsik Cheon | Iowa State University | 2003 | 0 |
| Curtis Clifton | Iowa State University | 2005 | 0 |
| Ádám Péter Darvas | Not recorded | — | 0 |
| Krishna Kishore Dhara | Iowa State University | 1997 | 0 |
| Rochelle Elva | University of Central Florida | 2013 | 0 |
| Ghaith Haddad | University of Central Florida | 2012 | 0 |
| Faraz Hussain | University of Central Florida | 2016 | 0 |
| Peter Müller | Not recorded | — | 10 |
| Clyde Darwin Ruby | Iowa State University | 2006 | 0 |
| Timothy Allen Wahls | Iowa State University | 1995 | 0 |