Joseph Sifakis
Da Wikipedia, l'enciclopedia libera.
Questa voce sull'argomento informatici è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.
Joseph Sifakis (Greco: Iωσήφ Σηφάκης; Candia, 1946) è un informatico greco.
Fu tra i primi a contribuire alla teoria del model checking. Sifakis (insieme con Edmund M. Clarke e E. Allen Emerson) ha ricevuto il Premio Turing nel 2007.
Onorificenze
 |
Commendatore dell'Ordine della Legion d'onore (Francia) |
| — 14 luglio 2011 |
 |
Grand'ufficiale dell'Ordine nazionale al merito |
| — 16 maggio 2008 |
Altri progetti
Wikimedia Commons contiene immagini o altri file su Joseph Sifakis
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
