Edmund Clarke

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Edmund Melson Clarke Jr.
Nascimento 27 de julho de 1945 (72 anos)
Newport News
Nacionalidade Estados Unidos Estadunidense
Prêmios Prêmio Paris Kanellakis (1998), Prêmio Memorial Harry H. Goode (2004), Prêmio Turing (2007), Prêmio Herbrand (2008), Prêmio Bower de Realização em Ciência (2014)
Orientado(s) Ernest Allen Emerson
Campo(s) Ciência da computação
Tese 1976: Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems

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.