Joseph Sifakis

Da Wikipedia, l'enciclopedia libera.
Joseph Sifakis

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[modifica | modifica wikitesto]

Commendatore dell'Ordine della Legion d'onore (Francia) - nastrino per uniforme ordinaria Commendatore dell'Ordine della Legion d'onore (Francia)
— 14 luglio 2011
Grand'ufficiale dell'Ordine nazionale al merito - nastrino per uniforme ordinaria Grand'ufficiale dell'Ordine nazionale al merito
— 16 maggio 2008

Altri progetti[modifica | modifica wikitesto]

Controllo di autorità VIAF: 110770950 LCCN: n88237558