Edmund Clarke
Edmund Clarke | |||||
---|---|---|---|---|---|
Persona informo | |||||
Edmund Melson Clarke, Jr. | |||||
Naskiĝo | 27-an de julio 1945 en Newport News | ||||
Morto | 22-an de decembro 2020 (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 | ||||
| |||||
| |||||
En TTT | Oficiala retejo vd | ||||
vd | 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.[1]
Li forpasis la 22an de decembro 2020 estante 75-jaraĝa pro COVID-19-pandemio.