Edmund 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) en Picburgo
Mortis pro	COVID-19 [#]
Lingvoj	angla [#]
Ŝtataneco	Usono [#]
Alma mater	Universitato de Virginio • Universitato Duke • Universitato Cornell [#]
Profesio
Okupo	komputikisto • universitata instruisto • inĝeniero • matematikisto [#]
Laborkampo	komputado • komputiko [#]
Doktoreca konsilisto	Robert Lee Constable [#]
Honorigoj Honorigoj Premio Turing • Paris Kanellakis Award • Herbrand Award • Harry H. Goode Memorial Award • ACM Fellow • IEEE Fellow • Bower Award and Prize for Achievement in Science • Fellow of the American Academy of Arts and Sciences • Benjamin Franklin-medalo • honorary doctor of the Vienna Technical University [#]
Membrecoj Membrecoj IEEE • Usona Akademio de Artoj kaj Sciencoj • National Academy of Engineering • Asocio por Komputa Maŝinaro [#]
En TTT	Oficiala retejo [#]
[#]	Fonto: Vikidatumoj

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.

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