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
  • 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


Imprint Privacy policy « This page (revision-15) was last updated on Wednesday, 17. January 2018, 12:52 by Kaiser Dana
  • operated by