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). — Wikipédia (CC BY-SA)
Nature : être humain
- décès
- décembre 2020
- naissance
- juillet 1945
- genre
- masculin
- lieu de décès
- Pittsburgh
- lieu de naissance
- Newport News
- nationalité
- États-Unis
- occupation
- professeur d'université
Catégories : ingénieurs · mathématiciens · professeurs d'université · enseignants · scientifiques · personnes
Mots du lexique : Edmund nom propre, m. nom commun, Clarke nom propre