WANT A PROFILE LIKE THIS?
Create my FREE Plan Or learn about other options
Joost-Pieter Katoen
470 Points

Contributions by role

Editor 470

Contributions by subject area

Theory and Formal Methods
Quantum Computing
Artificial Intelligence
Data Science
Security and Privacy
Software Engineering
Algorithms and Analysis of Algorithms

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