Clarke, Edmund Melson

Clarke, Edmund Melson

Clarke, Edmund Melson. – Informatico statunitense (n. Newport News 1945). Laureatosi in matematica nel 1967 all’University of Virginia, nel 1976 ha ottenuto il dottorato di informatica presso la Cornell university di Ithaca (New York). È professore di ingegneria informatica presso la Carnegie Mellon university di Pittsburgh (PA). Nel 2007 ha ricevuto – insieme a Ernest Allen Emerson e Joseph Sifakis – il premio Turing dell’ACM (Association for computing machinery) per le ricerche nello sviluppo di metodi formali automatizzati atti a verificare il corretto funzionamento di un apparato software o hardware, largamente utilizzati nella diagnostica di sistemi complessi. Tra tali metodi, una tecnica utilizzata regolarmente è quella di model checking, che, dato un sistema, ne considera un modello computazionale di cui definisce formalmente (mediante una specifica) il comportamento desiderato per verificare se soddisfa i requisiti richiesti.