Edmund Clarke

Edmund Melson CLARKE, Jr. (Newport News, 27-an de julio 1945 - 22-an de decembro 2020) estis usona komputika 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.

 Referencoj 

Kategorio:Turing-Premiitoj
Kategorio:Usonaj informoteoriistoj