Edmund Clarke

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Născut 27 iulie 1945 (1945-07-27) (70 de ani)
Rezidență Statele Unite ale Americii Statele Unite ale Americii
Naționalitate american
Domeniu informatician
Instituție Universitatea Harvard
Universitatea Carnegie Mellon
Alma Mater Duke University, Universitatea Cornell, University of Virginia[*]
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.