Edmund Melson Clarke

Country :États-Unis
Language :anglais
Gender :masculin
Note :
Informaticien. - Professeur, Computer science department, School of computer science, Carnegie Mellon university, Pittsburgh, Pa. (en 2006)
ISNI :ISNI 0000 0001 2119 7648

Occupations

Auteur du texte1 document

  • Model checking

    Material description : 1 vol. (314 p.)
    Note : Note : Bibliogr. p. 297-307
    Edition : Cambridge (Mass.) : MIT press , cop. 1999
    Auteur du texte : Orna Grumberg, Doron A. Peled

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb377571387]

Éditeur scientifique1 document

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

Wikipedia Biography

  • Edmund Melson Clarke, Jr. (né le 27 juillet 1945) est un informaticien universitaire connu pour ses développements du 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 est un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du Prix Turing 2007, délivré par l'Association for Computing Machinery (ACM).

Closely matched pages