Joseph Sifakis

Da Wikipedia, l'enciclopedia libera.

Vai a: navigazione, ricerca

Questa voce sugli argomenti informatici e greci è 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 sorgente]

	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 sorgente]

Commons contiene immagini o altri file su Joseph Sifakis

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)

Controllo di autorità VIAF: 110770950 LCCN: n88237558

Portale Biografie

Portale Informatica

Estratto da "http://it.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=60833238"

Categorie nascoste: