معرفی
Joseph Sifakis is an Emeritus Senior CNRS Researcher at the Verimag laboratory, University of Grenoble Alpes, and former Full Professor at the École Polytechnique Fédérale de Lausanne (EPFL) (2011-2016). He is renowned for his foundational contributions to formal verification, particularly in model checking and component-based system design. Sifakis is the founder of Verimag, a leading laboratory in embedded systems research, and the developer of the BIP framework for rigorous system design.
His research focuses on system design methodologies, formal methods for embedded and cyber-physical systems, and the integration of correctness-by-construction principles. He pioneered the use of the Lustre language and SCADE tool for safety-critical systems, widely adopted in avionics and space applications.
Key contributions include the BIP modeling language, the IF and Kronos verification tools, and advancements in system architecture modeling. His work bridges theoretical computer science with industrial applications, emphasizing safety, reliability, and scalability in complex systems.
Awarded the Turing Award (2007) for model checking, Sifakis has held leadership roles in European research initiatives like the ARTIST Networks of Excellence. He served as President of the Greek Council for Research and Technology (2014-2016) and is a member of prestigious academies including the French Academy of Sciences and the National Academy of Engineering.
