Gary Todd Leavens
Ph.D. Massachusetts Institute of Technology 1989
Dissertation:
Verifying Object-Oriented Programs that Use Subtypes
Mathematics Subject Classification: 68—Computer science
Advisor: William Edward Weihl
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Wahls, Timothy | Iowa State University | 1995 | |
| Dhara, Krishna | Iowa State University | 1997 | |
| Müller, Peter | Fernuniversität Hagen | 2001 | 9 |
| Cheon, Yoonsik | Iowa State University | 2003 | |
| Clifton, Curtis | Iowa State University | 2005 | |
| Ruby, Clyde | Iowa State University | 2006 | |
| Darvas, Ádám | ETH Zürich | 2009 | |
| Haddad, Ghaith | University of Central Florida | 2012 | |
| Elva, Rochelle | University of Central Florida | 2013 | |
| Hussain, Faraz | University of Central Florida | 2016 |
According to our current on-line database, Gary Leavens has 10 students and 18 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 93863 for the advisor ID.