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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Yoonsik Cheon | Iowa State University | 2003 | |
| Curtis Clifton | Iowa State University | 2005 | |
| Ádám Darvas | Eidgenössische Technische Hochschule Zürich | 2009 | |
| Krishna Dhara | Iowa State University | 1997 | |
| Peter Müller | Fernuniversität Hagen | 2001 | 6 |
| Clyde Ruby | Iowa State University | 2006 | |
| Timothy Wahls | Iowa State University | 1995 |
According to our current on-line database, Gary Leavens has 7 students and 12 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.