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.

Programming Languages Theory & Formal Methods

Work details

Professor

RWTH Aachen University, Germany

Computer Science

University of Twente, The Netherlands

PeerJ Contributions

Edited 1

Academic Editor on

August 28, 2023

Qualitative reachability for open interval Markov chains

Jeremy Sproston

https://doi.org/10.7717/peerj-cs.1489