Edmund Melson Clarke, Jr.
Ph.D. Cornell University 1976
Dissertation:
Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems
Advisor: Robert Lee Constable
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Michael Browne | Carnegie Mellon University | 1989 | |
| Jerry Burch | Carnegie Mellon University | 1992 | 1 |
| Sergio Campos | Carnegie Mellon University | 1996 | |
| David Dill | Carnegie Mellon University | 1987 | 33 |
| E. Allen Emerson | Harvard University | 1981 | 28 |
| Sicun Gao | Carnegie Mellon University | 2012 | |
| Alex Groce | Carnegie Mellon University | 2005 | |
| Somesh Jha | Carnegie Mellon University | 1996 | 8 |
| David Long | Carnegie Mellon University | 1993 | |
| Wilfredo Marrero | Carnegie Mellon University | 2001 | |
| Kenneth McMillan | Carnegie Mellon University | 1992 | |
| Marius Minea | Carnegie Mellon University | 1999 | |
| Bhubaneswar Mishra | Carnegie Mellon University | 1985 | 30 |
| Aravinda Sistla | Harvard University | 1983 | |
| Xudong Zhao | Carnegie Mellon University | 1996 |
According to our current on-line database, Edmund Clarke, Jr. has 15 students and 115 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.