Edmund Melson Clarke, Jr.

MathSciNet


Ph.D. Cornell University 1976 UnitedStates
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.

NameSchoolYearDescendants
Browne, MichaelCarnegie Mellon University1989
Burch, JerryCarnegie Mellon University19921
Campos, SergioCarnegie Mellon University1996
Dill, DavidCarnegie Mellon University198742
Emerson, E. AllenHarvard University198137
Gao, SicunCarnegie Mellon University2012
Groce, AlexCarnegie Mellon University20052
Jha, SomeshCarnegie Mellon University199615
Long, DavidCarnegie Mellon University1993
Marrero, WilfredoCarnegie Mellon University2001
McMillan, KennethCarnegie Mellon University1992
Minea, MariusCarnegie Mellon University1999
Mishra, BhubaneswarCarnegie Mellon University198532
Sistla, AravindaHarvard University1983
Zhao, XudongCarnegie Mellon University1996

According to our current on-line database, Edmund Clarke, Jr. has 15 students and 144 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.