Ernest Allen Emerson
| Ernest Allen Emerson | |
|---|---|
 | |
| Nascimento | 2 de junho de 1954 (70 anos) Dallas |
| Nacionalidade | estadunidense |
| Cidadania | Estados Unidos |
| Alma mater | Universidade Harvard |
| Ocupação | cientista de computação, engenheiro, professor universitário |
| Prêmios | Prêmio Paris Kanellakis (1998), Prêmio Turing (2007) |
| Empregador(a) | Universidade do Texas em Austin |
| Orientador(a)(es/s) | Edmund Clarke |
| Campo(s) | ciência da computação |
| Tese | 1981: Branching Time Temporal Logic and the Design of Correct Concurrent Programs |
| Página oficial | |
| http://www.cs.utexas.edu/~emerson/ | |
[edite no Wikidata] | |
Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense.
Juntamente com Edmund Clarke realizou trabalho pioneiro na área de verificação de modelos.[1]
Referências
- ↑ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs, University of Texas at Austin, 4 de fevereiro de 2008
Ligações externas
- Ernest Allen Emerson (em inglês) no Mathematics Genealogy Project
- «Página pessoal no sítio da Universidade do Texas em Austin» (em inglês)
| Precedido por Frances Allen | Prêmio Turing 2007 com Edmund Clarke e Joseph Sifakis | Sucedido por Barbara Liskov |
Portal dos Estados Unidos
Portal da educação
 | Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|
