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 |
| Distinções | 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] |
| 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
| Precedido por Frances Allen |
Prêmio Turing 2007 com Ernest Allen Emerson e Joseph Sifakis |
Sucedido por Barbara Liskov |
| Controle de autoridade |
|
|---|
