3 les relacions: Edmund M. Clarke, Joseph Sifakis, Premi Turing.
Edmund M. Clarke
Edmund Melson Clarke, Jr. (Newport News, 27 de juliol de 1945 – 22 de desembre de 2020) fou un informàtic i acadèmic notable per haver desenvolupat la verificació de models, un mètode per a verificar formalment dissenys de maquinari i programari.
Nou!!: E. Allen Emerson і Edmund M. Clarke · Veure més »
Joseph Sifakis
Joseph Sifakis (Ιωσήφ Σηφάκης) és un informàtic francès nascut a Grècia,, Evangélia Moussouri, a Écarts d'identités n⁰95-96, ISSN 1252-6665, reproduint informació d'una entrevista a Joseph Sifakis a Des grecs, les grecs de Grenoble, Musée Dauphinois, que va guanyar el premi Turing de 2007, conjuntament amb Edmund M. Clarke i E. Allen Emerson, per la seva feina en verificació de models.
Nou!!: E. Allen Emerson і Joseph Sifakis · Veure més »
Premi Turing
El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica.