About Me
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.
Expertise
Organisations
Ancillary Activities
-
RWTH Aachen University
Full professorship
Publications
UT Research Information System
Courses Academic Year 2023/2024
Courses Academic Year 2022/2023
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3078
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3078
P.O. Box 217
7500 AE Enschede
The Netherlands