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)
Controllo di autorità VIAF: 110770950 · LCCN: n88237558 · GND: 1049200187
Estratto da "http://it.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=68887760"