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

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)
	— 14 luglio 2011

	Grand'ufficiale dell'Ordine nazionale al merito
	— 16 maggio 2008

Altri progetti[modifica | modifica wikitesto]

Wikimedia Commons contiene immagini o altri file su Joseph Sifakis

Collegamenti esterni[modifica | modifica wikitesto]

Sito ufficiale, su www-verimag.imag.fr.
(EN) 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

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 · ISNI (EN) 0000 0001 2147 7236 · LCCN (EN) n88237558 · GND (DE) 1049200187 · WorldCat Identities (EN) n88-237558

Portale Biografie

Portale Informatica

Onorificenze[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Menu di navigazione

Strumenti personali

Namespace

Varianti

Visite

Altro

Ricerca

Navigazione

Comunità

Strumenti

In altri progetti

Stampa/esporta

In altre lingue