Citizenship Greek/French Role Computer scientist Name Joseph Sifakis Awards Turing Award | Books Rigorous System Design Institutions CNRS Fields Computer Science | |
 | ||
Alma mater National Technical University of Athens
University of Grenoble Known for Development of Model-Checking Education National Technical University of Athens, University of Grenoble Similar People E Allen Emerson, Edmund M Clarke, Tony Hoare, Robert Lee Constable | ||
Notable awards Turing Award (2007) Organizations founded VERIMAG Laboratory | ||
Viewing life through the information lens joseph sifakis at tedxthessaloniki
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.
Contents
- Viewing life through the information lens joseph sifakis at tedxthessaloniki
- Tucs 20 distinguished lecture 24 10 2014 joseph sifakis
- References
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.
He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.
He is a grand officer of France's national order of merit and commander in France's Legion of Honour.
Tucs 20 distinguished lecture 24 10 2014 joseph sifakis
