Ernest Allen Emerson

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Translation Latin Alphabet.svg
Este artigo ou secção está a ser traduzido de de:Allen Emerson. Ajude e colabore com a tradução.
Ernest Allen Emerson
Ciência da computação
Nacionalidade Estados Unidos Estadunidense
Nascimento 2 de junho de 1954 (60 anos)
Local Dallas
Atividade
Campo(s) Ciência da computação
Alma mater Universidade Harvard
Tese 1981: Branching Time Temporal Logic and the Design of Correct Concurrent Programs
Orientador(es) Edmund Clarke
Prêmio(s) Prêmio Paris Kanellakis (1998), Prêmio Turing (2007)

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.