Joseph Sifakis#
Fotor: B. Meyer
| Email: | joseph.sifakis 'at' imag.fr |
| Membership Number: | 2525 |
| Main Country of Residence: | FRANCE |
| Section: | INFORMATICS |
| Date of Birth: | 1946/12/26 |
| Username: | jsifakis |
Present and Previous Positions
- 2008- holder of INRIA-Schneider endowed industrial chair
- 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
- member of Academia Europea
- member of the French National Academy of Engineering
- recipient of the Turing Award 2007 (together with Ed Clarke and Allen Emerson) for their contribution to Model Checking
- recipient of the CNRS Silver Medal (2001)
| operated by | 
|