Edmund Melson Clarke, Jr.
Original record- Institution
- Cornell University
- Year
- 1976
- Country
- United States
- MGP identifier
- 50063
Dissertation: Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems
Advisor 1
- Robert Lee ConstableUniversity of Wisconsin-Madison · 1968
Students 17
| Name | Institution | Year | Students |
|---|---|---|---|
| Michael Browne | Carnegie Mellon University | 1989 | 0 |
| Jerry Robert Burch | Carnegie Mellon University | 1992 | 1 |
| Sergio Vale Aguiar Campos | Carnegie Mellon University | 1996 | 0 |
| Sagar Chaki | Carnegie Mellon University | 2005 | 0 |
| David L. Dill | Carnegie Mellon University | 1987 | 18 |
| E. Allen (Ernest) Emerson | Harvard University | 1981 | 15 |
| Sicun Gao | Carnegie Mellon University | 2012 | 1 |
| Alex David Groce | Carnegie Mellon University | 2005 | 3 |
| Somesh Jha | Carnegie Mellon University | 1996 | 9 |
| Soonho (Soon Ho) Kong | Carnegie Mellon University | 2023 | 0 |
| David Elsey Long | Carnegie Mellon University | 1993 | 0 |
| Wilfredo Rogelio Marrero | Carnegie Mellon University | 2001 | 0 |
| Kenneth McMillan | Carnegie Mellon University | 1992 | 0 |
| Marius Minea | Carnegie Mellon University | 1999 | 0 |
| Bhubaneswar Mishra | Carnegie Mellon University | 1985 | 33 |
| Aravinda Prasad Sistla | Harvard University | 1983 | 0 |
| Xudong Zhao | Carnegie Mellon University | 1996 | 0 |