Edmund Clarke
| 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/ | |
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.[2]
Morreu em 22 de dezembro de 2020, aos 75 anos, de COVID-19.[3]
Referências
- ↑ Edmund Clarke (em inglês) no Mathematics Genealogy Project
- ↑ «Edmund Clarke» (em inglês). Association for Computing Machinery. Consultado em 24 de dezembro de 2020
- ↑ Goldstein, Andrew (24 de dezembro de 2020). «Obituary: Edmund M. Clarke, CMU professor who won computer science's Nobel Prize equivalent». Pittsburgh Post-Gazette (em inglês). Consultado em 24 de dezembro de 2020
Ligações externas
[editar | editar código-fonte]
| Precedido por Frances Allen |
Prêmio Turing 2007 com Ernest Allen Emerson e Joseph Sifakis |
Sucedido por Barbara Liskov |
Este artigo sobre um(a) cientista da computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.vde
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
