|Born||December 26, 1946 (age 71)
Heraklion, Crete, Greece
|Alma mater||National Technical University of Athens
University of Grenoble
|Known for||Development of Model-Checking|
ACM Turing Award (2007)
Commandeur de la Légion d'honneur
Grand officier de l'ordre national du Mérite
Médaille d'argent du CNRS
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received a doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.
He was awarded in 2009 a Dr. h.c. from the École Polytechnique Fédérale de Lausanne, Switzerland, where he has been appointed Full Professor in 2011 (at the School of Computer and Communication Sciences).
Sifakis lives in France, whose citizenship he took in 1976 and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble, of which he is a founder.
None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.
All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.
The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.