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 • Universitato Duke • Universitato Cornell vd
Profesio
Okupo	komputosciencisto • universitata instruisto • inĝeniero • matematikisto vd
Laborkampo	komputado • komputiko vd
Doktoreca konsilisto	Robert Lee Constable vd
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 vd
Membrecoj Membrecoj IEEE • Usona Akademio de Artoj kaj Sciencoj • Nacia Akademio de Inĝenierio • Asocio por Komputila Maŝinaro vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj

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.