Edmund Clarke a fost un informatician american

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 fost profesor de informatică FORE Systems la Universitatea Carnegie Mellon . A părăsit Harvard în 1982 pentru a se alătura facultății în Departamentul de Informatică de […]