Edmund Clarke

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:Edmund M. Clarke. Ajude e colabore com a tradução.
Edmund Melson Clarke Jr.
Ciência da computação
Nacionalidade Estados Unidos Estadunidense
Nascimento 27 de julho de 1945 (69 anos)
Local Newport News
Atividade
Campo(s) Ciência da computação
Tese 1976: Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems
Orientado(s) Ernest Allen Emerson
Prêmio(s) Prêmio Paris Kanellakis (1998), Prêmio Turing (2007), Prêmio Herbrand (2008), Prêmio Bower de Realização em Ciência (2014)

Edmund Melson Clarke, Jr. (Newport News, 27 de julho de 1945) é um informático estadunidense.

Foi laureado com o Prêmio Turing de 2007.


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


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


Outros projetos Wikimedia também contêm material sobre este tema:
Commons Categoria no Commons
Ícone de esboço Este artigo sobre um(a) cientista da computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.