Joseph Sifakis
informatico greco
Joseph Sifakis (in 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— 14 luglio 2011
— 16 maggio 2008
Altri progetti
modifica- Wikimedia Commons contiene immagini o altri file su Joseph Sifakis
Collegamenti esterni
modifica- (EN) Sito ufficiale, su www-verimag.imag.fr.
- (EN) William L. Hosch, 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 · ORCID (EN) 0000-0003-2447-7981 · LCCN (EN) n88237558 · GND (DE) 1049200187 · J9U (EN, HE) 987007442964205171 · CONOR.SI (SL) 87855971 |
---|