Joseph Sifakis#
Foto: B. Meyer
| Membership Number: | 2525 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2008 |
| Main Country of Residence: | FRANCE |
| Homepage(s): | http://www-verimag.imag.fr/~sifakis |
Present and Previous Positions
- Since 2008 Chair of INRIA-Schneider endowed industrial
- CNRS Research Director
- 1993 - 2006 Founder of VERIMAG Laboratory and Director
- Director of the CARNOT Institute "Intelligent Software and Systems" in Grenoble
Fields of Scholarship
- Theoretical and practical aspects of concurrent systems specification and verification
- Component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques
Honours and Awards
- 2011 Honorary doctor, International Hellenic University
- 2010 Honorary doctor, University of Athens
- 2009 Honorary doctor, École Polytechnique Fédérale de Lausanne, Switzerland
- 2008 Honorary Professor of the University of Patras
- 2011 Member of the French Academy of Sciences
- 2008 Member of the Academia Europaea
- 2008 Member of the French National Academy of Engineering
- 2011 Commander of the Legion of Honor
- 2008 Grand Officer of the French National Order of Merit
- 2012 Test-of-Time Award for the paper "Symbolic model checking for real-time systems"
- Leonardo da Vinci Medal (2012); Logic in Computing Science (LICS)
- The Turing Award 2007 (together with Ed Clarke and Allen Emerson) for their contribution to Model Checking
- 2001 The CNRS Silver Meda
