Joseph Sifakis

informatico greco

Joseph Sifakis (in 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.

Onorificenze modifica

Altri progetti modifica

Collegamenti esterni modifica

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