Edmund Clarke
Also known as Edmund Melson Clarke, Edmund Melson Clarke, Jr.
American computer scientist (1945–2020)
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 · Português
Edmund Melson Clarke, Jr. (Newport News, 27 de julho de 1945 – 22 de dezembro de 2020) foi um cientista da computação estadunidense. Ao lado do Ernest Allen Emerson e do Joseph Sifakis, foi laureado com o Prêmio Turing de 2007, pelo desenvolvimento da verificação de modelos. Morreu em 22 de dezembro de 2020, aos 75 anos, de COVID-19.
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