
470 Points
Contributions by role
Contributions by subject area
Joost-Pieter Katoen
Summary
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.
Work details
University of Twente, The Netherlands
PeerJ Contributions
Academic Editor on
August 28, 2023
Jeremy Sproston