Edmund M. Clarke

E46990
academic computer scientist human

Edmund M. Clarke was an American computer scientist best known for co-inventing model checking, a breakthrough technique in formal verification that earned him the Turing Award.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
Edmund M. Clarke canonical 7
Edmund Clarke, E. Allen Emerson, and Joseph Sifakis 1

Statements (49)

Predicate Object
instanceOf academic ⓘ
computer scientist ⓘ
human ⓘ
academicDegree Bachelor of Arts in mathematics ⓘ
Master of Arts in mathematics ⓘ
PhD in computer science ⓘ
awardReceived Turing Award ⓘ
surface form: ACM A.M. Turing Award

Paris Kanellakis Theory and Practice Award ⓘ
surface form: ACM Paris Kanellakis Theory and Practice Award

AFIPS Harry Goode Memorial Award ⓘ
surface form: IEEE Harry H. Goode Memorial Award

LICS Test-of-Time Award ⓘ
birthName Edmund Melson Clarke Jr. ⓘ
birthPlace Newport News, Virginia ⓘ
surface form: Newport News, Virginia, United States
coAuthor Doron Peled ⓘ
Orna Grumberg ⓘ
coInvented model checking ⓘ
coInventedWith E. Allen Emerson ⓘ
Joseph Sifakis ⓘ
countryOfCitizenship United States of America ⓘ
dateOfBirth 1945-07-27 ⓘ
dateOfDeath 2020-12-22 ⓘ
doctoralAdvisor Dexter Kozen ⓘ
educatedAt Cornell University ⓘ
Duke University ⓘ
University of Virginia ⓘ
employer CMU ⓘ
surface form: Carnegie Mellon University

Duke University ⓘ
Harvard University ⓘ
fieldOfWork computer science ⓘ
formal methods ⓘ
formal verification ⓘ
model checking ⓘ
knownFor co-inventing model checking ⓘ
contributions to formal verification ⓘ
language English ⓘ
memberOf Association for Computing Machinery ⓘ
Institute of Electrical and Electronics Engineers ⓘ
surface form: IEEE
notableStudent Byron Cook ⓘ
Joël Ouaknine ⓘ
Kenneth McMillan ⓘ
Marta Kwiatkowska ⓘ
Somesh Jha ⓘ
notableWork Model Checking (book) ⓘ
Symbolic Model Checking ⓘ
placeOfDeath Pittsburgh, Pennsylvania ⓘ
surface form: Pittsburgh, Pennsylvania, United States
positionHeld FORE Systems Professor of Computer Science at Carnegie Mellon University ⓘ
Professor of Computer Science at Carnegie Mellon University ⓘ
researchInterest hardware verification ⓘ
software verification ⓘ
temporal logic ⓘ

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

Herbrand Award → notableRecipient → Edmund M. Clarke ⓘ
Joseph Sifakis → coRecipientWith → Edmund M. Clarke ⓘ
Symbolic Model Checking → associatedWithResearcher → Edmund M. Clarke ⓘ
Model Checking (book) → author → Edmund M. Clarke ⓘ
subject surface form: Model Checking
Doron Peled → coAuthorWith → Edmund M. Clarke ⓘ
Orna Grumberg → coAuthorWith → Edmund M. Clarke ⓘ
CAV Award → notableRecipient → Edmund M. Clarke ⓘ
CAV Award → notableRecipient → Edmund M. Clarke ⓘ
this entity surface form: Edmund Clarke, E. Allen Emerson, and Joseph Sifakis