Starting your chat with Joost-Pieter Katoen…

Joost-Pieter Katoen

b. 1964

Joost-Pieter Katoen (b. 1964) is a Dutch computer scientist and professor at RWTH Aachen University, renowned for his foundational contributions to formal verification, probabilistic model checking, and the semantics of programming languages. He co-developed the probabilistic model checker PRISM and authored the seminal textbook 'Principles of Model Checking', shaping modern approaches to ensuring reliability in complex systems.

Computer Science

Principles of Model Checking (with Christel Baier)
Probabilistic Model Checking (with Marta Kwiatkowska, Gethin Norman, David Parker)
The Probabilistic Model Checker PRISM (software)
Automated Verification of Concurrent Systems
Quantitative Analysis of Probabilistic Systems
A Tutorial on Probabilistic Model Checking

0 discussions