Ernest Allen Emerson
| Ernest Allen Emerson | |
|---|---|
 | |
| Nascimento | 2 de junho de 1954 (69 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/ | |
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
Ligações externas[editar | editar código-fonte]
- 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 |
