PeopleofSuperintelligence

Researcher

Joseph Sifakis

Also known as J Sifakis, J. Sifakis, Pulou Joseph Sifakis

Joseph Sifakis is a computer scientist whose model-checking work made formal verification practical for software and hardware; in 2024, he described autonomous systems as the ultimate stage in AI's development. Born in Heraklion, Crete, in 1946, he studied electrical engineering in Athens and computer science in Grenoble, then applied model checking to protocol verification and founded Verimag, where the lab developed Lustre for critical avionics. He began the BIP framework for component-based design in 2002, shared the 2007 ACM Turing Award, and served as a full professor at EPFL from 2011 to 2016. He received the Leonardo da Vinci Medal in 2012 and was elected an international member of the US National Academy of Sciences in 2024. In 2025, he coauthored an evaluation of four end-to-end AI autopilots; as of October 2026, he is an Emeritus Senior CNRS Researcher at Verimag, whose research includes embedded-system design.

Born
1946
Works
430
Citations
14,941
h-index
56
Badges

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. By 1979

    Electrical engineering in Athens

    Born in Heraklion, Crete, in 1946, he studies electrical engineering at the National Technical University of Athens and computer science at the University of Grenoble.

  2. 1979–1992

    Model checking for protocols

    In 1979, he defends a state doctorate on asynchronous-system control that lays the foundation for model checking. From 1982 to 1992, he and his team apply model-checking theory to protocol verification in France Telecom-funded projects and develop tools to address state explosion.

  3. 1993–2007

    Verimag and Lustre

    He sets up Verimag as an industrial laboratory in 1993 and directs it until 2007. The lab's Lustre language is used by the SCADE tool to design safety-critical avionics and space applications.

  4. 2002

    The BIP framework

    In 2002, he and his team begin developing the BIP framework for component-based modeling and correct-by-construction system design.

  5. 2007

    A Turing Award

    In 2007, he shares the ACM A.M. Turing Award with Edmund Clarke and E. Allen Emerson for developing model checking into a verification technology widely adopted in hardware and software.

  6. 2012

    EPFL and the da Vinci Medal

    From 2011 to 2016, he serves as a full professor at EPFL. In 2012, he receives the Leonardo da Vinci Medal.

  7. 2024

    Election to the National Academy

    In 2024, he is elected as an international member of the US National Academy of Sciences while serving as a Distinguished Visiting Professor at SUSTech.

  8. As of October 2026

    Emeritus researcher at Verimag

    In 2024, he describes autonomous systems as the ultimate stage in AI's development. In 2025, he coauthors an evaluation that applies CCTest to four end-to-end AI autopilots and compares their results with modular systems. As of October 2026, he is an Emeritus Senior CNRS Researcher at Verimag, where his research covers fundamental and applied aspects of embedded-system design.

Career

  1. Since 2008CNRSEmeritus Senior CNRS Researcher
  2. 2024Southern University of Science and TechnologyDistinguished Visiting Professor
  3. 2018–2026Institut polytechnique de Grenoble
  4. 2011–2016EPFLFull professor
  5. 2008–2014Université Joseph Fourier
  6. 1993–2007Université Grenoble AlpesFounder, Director
  7. 1989–1993Institut National des Sciences Mathématiques et de leurs Interactions

Education

  1. National Technical University of Athens
  2. University of Grenoble

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. The algorithmic analysis of hybrid systems1995 · Theoretical Computer Science · 1,884 citations
  2. Specification and verification of concurrent systems in CESAR1982 · Lecture notes in computer science · 1,326 citations
  3. Symbolic Model Checking for Real-Time Systems1994 · Information and Computation · 833 citations
  4. On the synthesis of discrete controllers for timed systems1995 · Lecture notes in computer science · 543 citationsWith Amir Pnueli
  5. Modeling Heterogeneous Real-time Components in BIP2006 · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 433 citations

From OpenAlex, as of 21 October 2026.

  1. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Joseph Sifakis. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  2. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes CNRS. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.
  3. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes CNRS. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.
  4. People shaping AI work at a median of 3 organizations over a career: 3 for university starters and institute and lab starters, versus 2 for company startersIncludes CNRS. Across 6,853 people shaping AI with a dated work role, we estimate a median of 3 parent organizations over a career (mean 3.6), comparing role groups, starting sectors and starting decades from the 1950s to 2020–2026.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Joseph Sifakis yet. Send us a free-licensed photo.

  1. Short Autobiography - Joseph Sifakis: Turing Award 2007 sifakis.net. Checked 20 October 2026.
  2. IC Colloquium - System Design – Challenges and Work Directions memento.epfl.ch. Checked 20 October 2026.
  3. Joseph Sifakis www-verimag.imag.fr. Checked 20 October 2026.
  4. ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs cs.utexas.edu. Checked 20 October 2026.
  5. Distinguished Visiting Professor of SUSTech Joseph Sifakis elected as international member of U.S. National Academy of Sciences ritas.sustech.edu.cn. Checked 20 October 2026.
  6. [2501.12090] A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard arxiv.org. Checked 20 October 2026.