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) (69 de ani)
Rezidență Statele Unite ale Americii Statele Unite
Naționalitate american
Domeniu informatician
Instituție Universitatea Harvard
Universitatea Carnegie Mellon
Alma Mater Universitatea Virginia
Universitatea Duke
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.