Ernest Allen Emerson

Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense.

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/

Juntamente com Edmund Clarke realizou trabalho pioneiro na área de verificação de modelos.[1]

Referências
  1. 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


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


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.