Jurnal FM 
Edmund Clarke a fost un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software
#Postat de Carmen Vintu on decembrie 22, 2021
Edmund Melson Clarke, Jr. (n. 27 iulie 1945, Virginia, SUA – d. 22 decembrie 2020, Pittsburgh, Pennsylvania, SUA) a fost 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.
Sursa foto: https://ro.wikipedia.org/wiki/Edmund_Clarke#/media/Fi%C8%99ier:Edmund_Clarke_FLoC_2006.jpg
A părăsit Harvard în 1982 pentru a se alătura facultății în Departamentul de Informatică de la Universitatea Carnegie Mellon , Pittsburgh, PA . A fost numit profesor titular în 1989. În 1995, a devenit primul beneficiar al postului FORE Systems Professorship, o catedra dotată la Carnegie Mellon School of Computer Science . A devenit profesor universitar în 2008 și a devenit profesor emerit în 2015. A murit de în timpul pandemiei din Pennsylvania în 2020.
