Edmund Clarke

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Edmund Clarke
Date personale
Născut 27 iulie 1945 (71 de ani)
Newport News[*], SUA
Naționalitate american
Cetățenie Statele Unite ale Americii
Ocupație informatician
profesor
cercetător
Activitate
Rezidență Statele Unite ale Americii Statele Unite ale Americii
Domeniu informatician
Instituție Universitatea Harvard
Universitatea Carnegie Mellon
Alma Mater Universitatea din Virginia[*]
Duke University
Universitatea Cornell
Cunoscut pentru Model checking
Premii Premiul Turing, 2007

Edmund Melson Clarke, Jr. (n. 27 iulie 1945) este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software. Împreună cu E. Allen Emerson și Joseph Sifakis, a primit în 2007 Premiul Turing.