Edmund Melson Clarke, Jr.


Ph.D. Cornell University 1976 UnitedStates
Dissertation: Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems

Advisor: Robert Lee Constable

Click here to see the students listed in chronological order.

Browne, MichaelCarnegie Mellon University1989
Burch, JerryCarnegie Mellon University19921
Campos, SergioCarnegie Mellon University1996
Dill, DavidCarnegie Mellon University198778
Emerson, E. AllenHarvard University198173
Gao, SicunCarnegie Mellon University20121
Groce, AlexCarnegie Mellon University20054
Jha, SomeshCarnegie Mellon University199623
Kong, SoonhoCarnegie Mellon University2023
Long, DavidCarnegie Mellon University1993
Marrero, WilfredoCarnegie Mellon University2001
McMillan, KennethCarnegie Mellon University1992
Minea, MariusCarnegie Mellon University1999
Mishra, BhubaneswarCarnegie Mellon University198536
Sistla, AravindaHarvard University1983
Zhao, XudongCarnegie Mellon University1996

According to our current on-line database, Edmund Clarke, Jr. has 16 students and 232 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 50063 for the advisor ID.