Edmund Melson Clarke Jr.

E239162

Turing Award laureate academic computer scientist human university professor

Edmund Melson Clarke Jr. was an American computer scientist best known for co-developing model checking, a pioneering technique in formal verification of hardware and software systems.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label	Occurrences
Edmund Melson Clarke Jr. canonical	2

Statements (51)

Predicate	Object
instanceOf	Turing Award laureate ⓘ academic ⓘ computer scientist ⓘ human ⓘ university professor ⓘ
academicChair	FORE Systems Professor of Computer Science at Carnegie Mellon University ⓘ
academicDegree	Bachelor of Arts in mathematics ⓘ PhD in computer science ⓘ
academicPosition	assistant professor of computer science at Harvard University ⓘ professor of computer science at Carnegie Mellon University ⓘ
awardReceived	Turing Award ⓘ surface form: ACM A.M. Turing Award Fellow of the Association for Computing Machinery ⓘ surface form: ACM Fellow Paris Kanellakis Theory and Practice Award ⓘ surface form: ACM Paris Kanellakis Theory and Practice Award ACM SIGPLAN Programming Languages Achievement Award ⓘ ACM SIGSOFT Outstanding Research Award ⓘ CAV Award ⓘ Herbrand Award ⓘ surface form: Herbrand Award for Automated Reasoning AFIPS Harry Goode Memorial Award ⓘ surface form: IEEE Harry H. Goode Memorial Award LICS Test-of-Time Award ⓘ
birthDate	1945-07-27 ⓘ
birthPlace	Newport News, Virginia ⓘ surface form: Newport News, Virginia, United States
coDeveloperOf	model checking ⓘ symbolic model checking ⓘ
coInventorWith	E. Allen Emerson ⓘ Joseph Sifakis ⓘ
countryOfCitizenship	United States of America ⓘ
deathDate	2020-12-22 ⓘ
doctoralAdvisor	Richard L. Schwartz ⓘ
doctoralThesisTitle	Program Schemas, Recursion Schemes and Formal Languages ⓘ
doctoralThesisYear	1976 ⓘ
educatedAt	Duke University ⓘ University of Virginia ⓘ
employer	CMU ⓘ surface form: Carnegie Mellon University Harvard University ⓘ
familyName	Clarke ⓘ
fieldOfWork	computer science ⓘ formal methods ⓘ formal verification ⓘ model checking ⓘ
fullName	Edmund Melson Clarke Jr. self-linksurface differs ⓘ
givenName	Edmund ⓘ
knownFor	formal verification of hardware and software systems ⓘ model checking ⓘ symbolic model checking ⓘ
memberOf	Association for Computing Machinery ⓘ Institute of Electrical and Electronics Engineers ⓘ surface form: IEEE
notableWork	Model Checking (book) ⓘ Symbolic Model Checking ⓘ surface form: Symbolic Model Checking (paper)
researchInterest	hardware verification ⓘ software verification ⓘ temporal logic ⓘ

Referenced by (2)

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

Edmund M. Clarke → birthName → Edmund Melson Clarke Jr. ⓘ

Edmund Melson Clarke Jr. → fullName → Edmund Melson Clarke Jr. self-linksurface differs ⓘ

subject surface form: Edmund M. Clarke