Joost-Pieter Katoen
Academic Editor

Joost-Pieter Katoen


Distinguished professor at the RWTH Aachen University (Germany) and part-time professor at the University of Twente (The Netherlands). Member of the Academia Europaea, ACM senior member, chair of steering committee of ETAPS and QEST. Member SC of CONCUR and FORMATS. Member of IFP WG 1.8 (Concurrency Theory) and IFIP WG 2.2 (Programming Concepts). Co-author of the textbook "Principles of Model Checking", MIT, 2008.

Programming Languages Software Engineering Theory & Formal Methods

Work details


RWTH Aachen University, Germany
Computer Science

University of Twente, The Netherlands