Edmund Melson Clarke Jr.
Edmund Melson Clarke Jr. (27 iulie 1945 – 22 decembrie 2020) a fost un informatician american renumit pentru dezvoltarea modelului de verificare, o metodă de verificare formală a design-urilor hardware și software. A fost profesor de informatică FORE Systems la Universitatea Carnegie Mellon. Clarke, împreună cu E. Allen Emerson și Joseph Sifakis, a primit premiul […]
-
Pagini
Jurnal FM 