Edmund M. Clarke
informaticien américain / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Edmund Clarke?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Clarke.
Edmund Melson Clarke, Jr. ( - ) 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).
Faits en bref Naissance, Décès ...
Edmund M. Clarke
Naissance | |
---|---|
Décès | |
Nom dans la langue maternelle | |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Site web |
(en) www.cs.cmu.edu/~emc |
Distinctions |
Prix Turing () Liste détaillée ACM Fellow () Prix Paris-Kanellakis () Prix commémoratif Harry H. Goode () Prix Turing () Prix Herbrand () Médaille Benjamin-Franklin () Bower Award and Prize for Achievement in Science () 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 |
Fermer