Joost-Pieter Katoen

Biography: Joost-Pieter Katoen is a distinguished professor at RWTH Aachen University, leading the Software Modeling and Verification (MOVES) group. He is part-time affiliated to the University of Twente. His main research contributions are in model checking, concurrency theory, probabilistic computation, and formal semantics. His book Principles of Model Checking (with Christel Baier) is a bestseller in formal verification. He received numerous best paper awards and other honors, most recently the Laprie Award 2023 in Dependable Computing. He is a member of the Academia Europaea, the Royal Holland Society of Sciences and Humanities (KHMW) and the German Academy of Sciences (2024). He received an honorary doctorate from Aalborg University (2017) and is an ACM Fellow (2020).