Saltu al enhavo

Edmund Clarke

El Vikipedio, la libera enciklopedio
(Alidirektita el Edmund M. Clarke)
Edmund Clarke
Persona informo
Edmund Melson Clarke, Jr.
Naskiĝo 27-an de julio 1945 (1945-07-27)
en Newport News
Morto 22-an de decembro 2020 (2020-12-22) (75-jaraĝa)
en Picburgo
Mortis pro Naturaj kialoj Redakti la valoron en Wikidata vd
Mortis per COVID-19 Redakti la valoron en Wikidata vd
Lingvoj angla vd
Ŝtataneco Usono Redakti la valoron en Wikidata vd
Alma mater Universitato de Virginio - matematiko
Universitato Duke - matematiko
Universitato Cornell - komputiko Redakti la valoron en Wikidata vd
Profesio
Okupo komputosciencisto
inĝeniero
universitata instruisto
matematikisto Redakti la valoron en Wikidata vd
Laborkampo Komputado kaj komputiko Redakti la valoron en Wikidata vd
Doktoreca konsilisto Robert Lee Constable vd
En TTT Oficiala retejo vd
vd Fonto: Vikidatumoj
vdr

Edmund Melson CLARKE, Jr. (Newport News, 27-an de julio 1945 - 22-an de decembro 2020) estis usonakomputika teoriulo, universitata instruisto, esplorinĝeniero kaj matematikisto.

Li estis, kun E. Allen Emerson kaj Joseph Sifakis, gajnanto de 2007 de la Premio Turing de la Association for Computing Machinery.[1]

Li forpasis la 22an de decembro 2020 estante 75-jaraĝa pro COVID-19-pandemio.

Referencoj

[redakti | redakti fonton]