PeopleofSuperintelligence

Researcher

Joost-Pieter Katoen

Joost-Pieter Katoen is a computer scientist who works on formal verification, model checking and probabilistic programming. He studied at the University of Twente, held research posts in Eindhoven and Erlangen, and joined RWTH Aachen's Software Modeling and Verification Group in 2004. His work includes the ETMCC and MRMC model checkers, the 2008 book Principles of Model Checking and the ERC-funded FRAPPANT project on probabilistic programs. He joined the German Academy of Sciences Leopoldina in 2024 and received the KHMW Langerhuizen Oeuvreprijs in 2026. As of October 2026, he is a professor of computer science at RWTH Aachen and a part-time professor of Formal Methods and Tools at the University of Twente.

Works
660
Citations
20,053
h-index
61

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 1987–1996

    Degrees in computer science

    He earns an MSc in computer science at the University of Twente in 1987 and a PhD there in 1996.

  2. 1990–2004

    Research posts across Europe

    At Philips Research Labs in Eindhoven, he works as a research scientist from 1990 to 1992 and as a research associate at the University of Twente from 1992 to 1996. At Erlangen-Nuremberg, he is a postdoctoral researcher from 1997 to 1999 and an associate professor at Twente from 1999 to 2004.

  3. 2000–2008

    Model checkers and a book

    ETMCC appears in 2000 as the first model checker for continuous-time stochastic models; MRMC follows in 2005. With Christel Baier, he coauthors Principles of Model Checking in 2008, a book that introduces automated methods for finding flaws in hardware and software.

  4. Since 2004

    A chair at RWTH Aachen

    At RWTH Aachen, he begins chairing the Software Modeling and Verification Group in December 2004.

  5. 2018–2024

    FRAPPANT and probabilistic programs

    In 2018, he secures an ERC Advanced Grant for FRAPPANT, which develops formal verification techniques for predictable probabilistic programming and runs until November 2024.

  6. 2024

    Leopoldina membership

    He joins the German Academy of Sciences Leopoldina in 2024.

  7. 2026

    The Langerhuizen Oeuvreprijs

    He receives the KHMW Langerhuizen Oeuvreprijs in 2026.

  8. As of October 2026

    Professor at RWTH Aachen

    He is a professor of computer science at RWTH Aachen and a part-time professor of Formal Methods and Tools at the University of Twente.

Sources and credits

Photo: We have no published photo of Joost-Pieter Katoen yet. Send us a free-licensed photo.

  1. Joost-Pieter Katoen - Curriculum Vitae ae-info.org. Checked 15 October 2026.
  2. Principles of Model Checking - Christel Baier, Joost-Pieter Katoen - Google Books books.google.com. Checked 15 October 2026.
  3. FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation moves.rwth-aachen.de. Checked 15 October 2026.
  4. Professor Joost-Pieter Katoen inducted into the Leopoldina Academy of Sciences utwente.nl. Checked 15 October 2026.
  5. Winnaars KHMW Langerhuizen Oeuvreprijs en KHMW Langerhuizen Bate bekend khmw.nl. Checked 15 October 2026.
  6. Joost-Pieter Katoen receives KHMW Langerhuizen Lifetime Achievement Award 2026 utwente.nl. Checked 15 October 2026.