Joseph Sifakis#

Joseph Sifakis
Foto: B. Meyer

Membership Number:2525
Membership type:ORDINARY
Main Country of Residence:FRANCE

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 changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by