Edmund Clarke

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.

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 vd
Mortis per	COVID-19 vd
Lingvoj	angla vd
Ŝtataneco	Usono vd
Alma mater	Universitato de Virginio - matematiko Universitato Duke - matematiko Universitato Cornell - komputiko vd
Profesio
Okupo	komputosciencisto inĝeniero universitata instruisto matematikisto vd
Laborkampo	Komputado kaj komputiko vd
Doktoreca konsilisto	Robert Lee Constable vd
Honorigoj Honorigoj (2014)  Benjamin Franklin-medalo (2014)  Bower Award and Prize for Achievement in Science (en) (2008)  Herbrand Award (en) (2007)  Premio Turing (2004)  Harry H. Goode Memorial Award (en) (1998)  ACM Fellow (en) (1998)  Paris Kanellakis Award (en)  IEEE Fellow (en)  Fellow of the American Academy of Arts and Sciences (en)  honorary doctor of the Vienna Technical University (en) vd
Membrecoj Membrecoj Usona Akademio de Artoj kaj Sciencoj (2011–) Nacia Akademio de Inĝenierio (2005–) Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (1998–) IEEE vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
v • d • r

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.