description Joseph Sifakis Overview
Joseph Sifakis is a French-Greek computer scientist who founded the Verimag laboratory in Grenoble, France, and conducts research for the French National Centre for Scientific Research (CNRS). In the early 1980s, he independently co-pioneered the technique of model checking, an automated method used to verify that finite-state systems meet their formal specifications. He shared the 2007 ACM Turing Award with Edmund Clarke and E. Allen Emerson for his foundational contributions to formal verification.
help Joseph Sifakis FAQ
Who did Joseph Sifakis share the 2007 Turing Award with?
Joseph Sifakis shared the 2007 ACM Turing Award with Edmund M. Clarke and E. Allen Emerson. They received the award for their independent, parallel work in inventing and developing model checking.
What specific area of model checking did Sifakis focus on?
While Clarke and Emerson worked heavily on temporal logic, Sifakis focused on the verification of reactive systems at the VERIMAG laboratory in France. His work emphasized connecting theoretical formal verification to practical engineering applications in automotive and aerospace systems.
Where does Joseph Sifakis work?
Sifakis is a research director at the French National Centre for Scientific Research (CNRS) and founded the VERIMAG laboratory in Grenoble, France. He has also spent time in academia in Switzerland and the United States.
Did Joseph Sifakis found any companies?
Yes, Sifakis leveraged his theoretical research to found multiple technology companies to commercialize formal verification tools. His most notable venture was iRoC Technologies, a company dedicated to protecting integrated circuits against soft errors.
explore Explore More
Reviews & Comments
Write a Review
Be the first to review
Share your thoughts with the community and help others make better decisions.
