What is Joost-Pieter Katoen known for?
I am primarily known for my work in formal verification, especially in the area of model checking. This involves developing mathematical techniques and algorithms to automatically verify the correctness of complex systems. My research has focused on extending model checking to handle probabilistic and quantitative aspects, allowing us to reason about systems with uncertainty and performance guarantees. The development of the PRISM model checker is a significant outcome of this research.
Ask Joost-Pieter Katoen the follow-up →