Edmund M. Clarke

Pour les articles homonymes, voir Clarke.

Edmund M. Clarke

Edmund M. Clarke en 2006.

Biographie

Naissance	27 juillet 1945 Newport News
Décès	22 décembre 2020 (à 75 ans) Pittsburgh
Nom dans la langue maternelle	Edmund Melson Clarke, Jr.
Nationalité	américaine
Formation	Université de Virginie (baccalauréat universitaire) (1967) Université Duke (maîtrise ès arts) (1968) Université Cornell (doctorat) (1976)
Activités	Informaticien, ingénieur, professeur d'université, mathématicien

Autres informations

A travaillé pour	Université Cornell (1982) Université Harvard (1978) Université Duke (1976) Université Carnegie-Mellon
Membre de	Association for Computing Machinery (1998) Académie nationale d'ingénierie des États-Unis (2005) Académie américaine des arts et des sciences (2011) Institute of Electrical and Electronics Engineers
Directeur de thèse	Robert Lee Constable
Site web	(en) www.cs.cmu.edu/~emc
Distinctions	Prix Turing (2007) Liste détaillée ACM Fellow (1998) Prix Paris-Kanellakis (1998) Prix commémoratif Harry H. Goode (2004) Prix Turing (2007) Prix Herbrand (2008) Médaille Benjamin-Franklin (2014) Bower Award and Prize for Achievement in Science (2014) Membre de l'Académie américaine des arts et des sciences Membre de l'IEEE Docteur honoris causa de l'université technique de Vienne

modifier - modifier le code - modifier Wikidata

Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire FORE Systems (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM).