Joseph Sifakis
Jump to navigation
Jump to search
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) |
— 14 luglio 2011 |
![]() |
Grand'ufficiale dell'Ordine nazionale al merito |
— 16 maggio 2008 |
Altri progetti[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Joseph Sifakis
Collegamenti esterni[modifica | modifica wikitesto]
- Sito ufficiale, su www-verimag.imag.fr.
- (EN) Joseph Sifakis, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Joseph Sifakis, su Mathematics Genealogy Project, North Dakota State University.
Controllo di autorità | VIAF (EN) 110770950 · ISNI (EN) 0000 0001 2147 7236 · LCCN (EN) n88237558 · GND (DE) 1049200187 · WorldCat Identities (EN) lccn-n88237558 |
---|