Loading AI tools
Da Wikipédia, a enciclopédia livre
Edmund Melson Clarke, Jr. (Newport News, 27 de julho de 1945 – 22 de dezembro de 2020) foi um cientista da computação estadunidense.
Edmund Clarke | |
---|---|
Nascimento | 27 de julho de 1945 Newport News |
Morte | 22 de dezembro de 2020 (75 anos) Pittsburgh |
Nacionalidade | estadunidense |
Cidadania | Estados Unidos |
Alma mater | |
Ocupação | cientista de computação, professor universitário, engenheiro, matemático |
Prêmios | Prêmio Paris Kanellakis (1998), Prêmio Memorial Harry H. Goode (2004), Prêmio Turing (2007), Prêmio Herbrand (2008), Prêmio Bower de Realização em Ciência (2014) |
Empregador(a) | Universidade Duke, Universidade Harvard, Universidade Cornell, Universidade Carnegie Mellon |
Orientador(a)(es/s) | Robert Lee Constable[1] |
Orientado(a)(s) | David Lansing Dill, Ernest Allen Emerson, Bhubaneswar Mishra |
Campo(s) | ciência da computação |
Tese | 1976: Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems |
Causa da morte | COVID-19 |
Página oficial | |
http://www.cs.cmu.edu/~emc/ | |
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.[2]
Morreu em 22 de dezembro de 2020, aos 75 anos, de COVID-19.[3]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.