Joseph Sifakis#


Joseph Sifakis
Foto: B. Meyer

Email:joseph.sifakis 'at' imag.fr
Membership Number:2525
Membership type:ORDINARY
Main Country of Residence:FRANCE
Section:INFORMATICS
Username:jsifakis
Elected:2008
Homepage: 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
  • Sirector 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
  • Honorary doctor, International Hellenic University (2011)
  • Honorary doctor, University of Athens (2010)
  • Honorary doctor, École Polytechnique Fédérale de Lausanne, Switzerland (2009)
  • Honorary Professor of the University of Patras (2008)
  • Member of the French Academy of Sciences (2011)
  • Member of the Academia Europaea (2008)
  • Member of the French National Academy of Engineering (2008)
  • Commander of the Legion of Honor (2011)
  • Grand Officer of the French National Order of Merit (2008)
  • Test-of-Time Award for the paper "Symbolic model checking for real-time systems" (2012)
  • 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
  • The CNRS Silver Medal (2001)


Imprint Privacy policy « This page (revision-14) was last updated on Monday, 25. February 2013, 15:27 by Kaiser Dana
  • operated by