Edmund M. Clarke
Also known as Edmund Melson Clarke, Edmund Melson Clarke, Jr., Edmund Clarke
Amerikaans informaticus
Person · Open Library
- Works
- 3
Top works
- Model Checking, Second Edition
- Handbook of Model Checking
- Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Using thematic analysis in psychology
· 2006 · cited 144,240x
- Preferred reporting items for systematic review and meta-analysis protocols (PRISMA-P) 2015 statement
· 2015 · cited 20,646x
- Comparing the Areas under Two or More Correlated Receiver Operating Characteristic Curves: A Nonparametric Approach
· 1988 · cited 19,108x
Article · Nederlands
Edmund Melson Clarke, Jr. (Newport News (Virginia), 27 juli 1945 - Pennsylvania, 22 december 2020 ) was een Amerikaans informaticus. Samen met E. Allen Emerson en Joseph Sifakis heeft hij ontwikkeld, een techniek voor van hardware en software. Hiervoor ontvingen zij in 2007 de Turing Award. Clarke heeft ook bijdragen geleverd op het gebied van . Clarke was professor op het gebied van informatica aan de Carnegie Mellon University.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Categories
1945 births2020 deathsAmerican computer scientistsCarnegie Mellon University facultyCornell University alumniDeaths from the COVID-19 pandemic in PennsylvaniaDuke University alumniDuke University facultyFellows of the American Academy of Arts and SciencesFellows of the Association for Computing MachineryFellows of the IEEEFormal methods people