Edmund M. Clarke
personne
informaticien américain
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).
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Edmund_M._Clarke
Lien Wikidata : https://www.wikidata.org/wiki/Q92819
Propriétés
- date_deces
- +2020-12-2
- date_naissance
- +1945-07-2
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q1342", "label": "Pittsburgh"}
- lieu_naissance
- {"qid": "Q335017", "label": "Newport News"}
- nationalite
- États-Unis
- occupation
- professeur d'université
- p106_all
- professeur d'université, mathématicien ou mathématicienne, ingénieur, informaticien ou informaticienne