Joseph Sifakis

informatico greco

Joseph Sifakis (Greco: Iωσήφ Σηφάκης; Candia, 1946) è un informatico greco.

Joseph Sifakis

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.

OnorificenzeModifica

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

Altri progettiModifica

Collegamenti esterniModifica

Controllo di autoritàVIAF (EN110770950 · ISNI (EN0000 0001 2147 7236 · LCCN (ENn88237558 · GND (DE1049200187 · J9U (ENHE987007442964205171 · CONOR.SI (SL87855971 · WorldCat Identities (ENlccn-n88237558