Edmund Clarke

El Vikipedio, la libera enciklopedio
(Alidirektita el Edmund M. Clarke)
Edmund Clarke
Edmund Clarke FLoC 2006.jpg
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)
en Picburgo
Mortis pro COVID-19 [#]
Lingvoj angla [#]
Ŝtataneco Usono [#]
Alma mater Universitato de VirginioUniversitato DukeUniversitato Cornell [#]
Profesio
Okupo komputikisto • universitata instruisto • inĝeniero • matematikisto [#]
Laborkampo komputado • komputiko [#]
Doktoreca konsilisto Robert Lee Constable [#]
En TTT Oficiala retejo [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
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]