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/ | |
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
- 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 |