معرفی
Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification.
- Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble)
Research interests focus on component-based design, real-time systems, and correct-by-construction techniques. He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification.
Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications.
Scientific awards include:
- Turing Award (2007)
- CNRS Silver Medal (2001)
- Test-of-Time Award (2012)
- Multiple honorary doctorates (2008-2011)
- Member of prestigious academies
Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.
