Ernest Allen Emerson

Ernest Allen Emerson
Nascimento 2 de junho de 1954 (66 anos)
Dallas
Nacionalidade estadunidense
Cidadania Estados Unidos
Alma mater Universidade Harvard
Ocupação cientista da computação, engenheiro, professor universitário
Prêmios Prêmio Paris Kanellakis (1998), Prêmio Turing (2007)
Empregador Universidade do Texas em Austin
Página oficial
http://www.cs.utexas.edu/~emerson/
Orientador(es) Edmund Clarke
Campo(s) ciência da computação
Tese 1981: Branching Time Temporal Logic and the Design of Correct Concurrent Programs

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 externasEditar


Precedido por
Frances Allen
Prêmio Turing
2007
com Edmund Clarke e Joseph Sifakis
Sucedido por
Barbara Liskov


  Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.