Joost-Pieter Katoen is a Distinguished Professor with RWTH Aachen University, Germany, and is part-time professor at the University of Twente, The Netherlands. He received a honorary doctorate degree from Aalborg University, Denmark and holds an ERC Advanced Grant.
His research interests include formal methods, model checking, concurrency theory, and probabilistic computation. He coauthored more than 75 journal papers and the book "Principles of Model Checking". He chaired the steering committee of ETAPS (2014-2019), is steering committee member of CONCUR, QEST, and FORMATS, and elected member of the Academia Europaea.
RWTH Aachen University