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.

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	ACM A.M. Turing Award → ACM Paris Kanellakis Theory and Practice Award → IEEE Harry H. Goode Memorial Award → LICS Test-of-Time Award →
birthName	Edmund Melson Clarke Jr. →
birthPlace	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	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 → IEEE →
notableStudent	Byron Cook → Joël Ouaknine → Kenneth McMillan → Marta Kwiatkowska → Somesh Jha →
notableWork	Model Checking (book) → Symbolic Model Checking →
placeOfDeath	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 (2)

Subject (surface form when different)	Predicate
Joseph Sifakis →	coRecipientWith
Herbrand Award →	notableRecipient