Joseph Sifakis

Da Wikipedia, l'enciclopedia libera.
Abbozzo informatici
 Questa voce sull'argomento informatici è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
Joseph Sifakis

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) - nastrino per uniforme ordinaria Commendatore dell'Ordine della Legion d'onore (Francia)
— 14 luglio 2011
Grand'ufficiale dell'Ordine nazionale al merito - nastrino per uniforme ordinaria Grand'ufficiale dell'Ordine nazionale al merito
— 16 maggio 2008

Altri progetti[modifica | modifica wikitesto]

V · D · M
Vincitori del Premio Turing
Alan Perlis (1966) · Maurice V. Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James H. Wilkinson (1970) · John McCarthy (1971) · Edsger Dijkstra (1972) · Charles W. Bachman (1973) · Donald E. Knuth (1974) · Allen Newell - Herbert A. Simon (1975) · Michael O. Rabin - Dana Scott (1976) · John Backus (1977) · Robert W. Floyd (1978) · Kenneth Iverson (1979) · Tony Hoare (1980) · Edgar F. Codd (1981) · Stephen A. Cook (1982) · Ken Thompson - Dennis M. Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft - Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · 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) · Andrew Chi-Chih Yao (2000) · Ole-Johan Dahl - Kristen Nygaard (2001) · Ronald L. Rivest - Adi Shamir - Leonard Adleman (2002) · Alan Kay (2003) · Vinton G. Cerf - Robert E. 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) · 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)
Controllo di autorità VIAF: (EN) 110770950 · LCCN: (EN) n88237558 · ISNI: (EN) 0000 0001 2147 7236 · GND: (DE) 1049200187
Estratto da "https://it.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=77119875"