3 les relacions: E. Allen Emerson, Joseph Sifakis, Premi Turing.
E. Allen Emerson
Ernest Allen Emerson (nascut el 2 de juny de 1954) és un informàtic, catedràtic a la Universitat de Texas, Austin.
Nou!!: Edmund M. Clarke і E. Allen Emerson · 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!!: Edmund M. Clarke і Joseph Sifakis · Veure més »
Premi Turing
El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica.