Ernest Allen Emerson

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Translation Latin Alphabet.svg
Este artigo ou seção está a ser traduzido de «Allen Emerson» na Wikipédia em alemão. Ajude e colabore com a tradução.
Ernest Allen Emerson
Nascimento 2 de junho de 1954 (63 anos)
Dallas
Nacionalidade Estados Unidos Estadunidense
Alma mater Universidade Harvard
Prêmios Prêmio Paris Kanellakis (1998), Prêmio Turing (2007)
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.


Ligações externas[editar | editar código-fonte]


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


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