Joseph Sifakis

Questa voce sull'argomento informatici è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

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

Commendatore dell'Ordine della Legion d'onore (Francia)

— 14 luglio 2011

Grand'ufficiale dell'Ordine nazionale al merito

— 16 maggio 2008

Altri progetti

Wikimedia Commons

Wikimedia Commons contiene immagini o altri file su Joseph Sifakis

Collegamenti esterni

(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.

V · D · M Vincitori del Premio Turing
Anni 1960	Alan Perlis (1966) · Maurice V. Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969)
Anni 1970	James H. Wilkinson (1970) · John McCarthy (1971) · Edsger Dijkstra (1972) · Charles Bachman (1973) · Donald Knuth (1974) · Allen Newell - Herbert Simon (1975) · Michael Rabin - Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979)
Anni 1980	Tony Hoare (1980) · Edgar F. Codd (1981) · Stephen Cook (1982) · Ken Thompson - Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft - Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989)
Anni 1990	Fernando J. Corbató (1990) · Robin Milner (1991) · Butler W. Lampson (1992) · Juris Hartmanis - Richard E. Stearns (1993) · Edward Feigenbaum - Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick P. Brooks, Jr. (1999)
Anni 2000	Andrew Chi-Chih Yao (2000) · Ole-Johan Dahl - Kristen Nygaard (2001) · Ronald Rivest - Adi Shamir - Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf - Robert Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke - E. Allen Emerson - Joseph Sifakis (2007) · Barbara Liskov (2008) · Charles P. Thacker (2009)
Anni 2010	Leslie Valiant (2010) · Judea Pearl (2011) · Silvio Micali - Shafi Goldwasser (2012) · Leslie Lamport (2013) · Michael Stonebraker (2014) · Martin Hellman - Whitfield Diffie (2015) · Tim Berners-Lee (2016) · John L. Hennessy - David Patterson (2017) · Yoshua Bengio - Geoffrey Hinton - Yann LeCun (2018) Edwin Catmull - Pat Hanrahan (2019)
Anni 2020	Alfred Aho - Jeffrey Ullman (2020) · Jack Dongarra (2021) · Robert Metcalfe (2022) · Avi Wigderson (2023)

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 · WorldCat Identities (EN) lccn-n88237558