Joost-Pieter Katoen#
| Membership Number: | 3453 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2013 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | https://www-i2.informatik.rwth-aachen.de/~katoen/ |
Present and Previous Positions
- 2013,06 Visiting Professor at University of Oxford, Visiting Fellow Trinity College
- 2009,01 Part-time (20%) Professor at University of Twente (NL)
- 2004,12 Professor at RWTH Aachen University (D, successor of Prof. Klaus Indermark)
- 1999,04 Associate professor at University of Twente (NL), since 2004, 12 on part-time basis (20%)
- 1997,01 Postdoctoral researcher at University of Erlangen-Nürnberg (D)
- 1992,04 Research scientist at University of Twente (NL)
- 1990,01 Research scientist at Philips Research Laboratories (Eindhoven, NL)
- 1988,02 Researcher at Technical University of Eindhoven (NL)
Fields of Scholarship
- Program analysis
- Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata
- MRMC (probabilistic model checker), libalf (learning communicating finite-state automata), COMPASS (AADL analysis tool-set)
- Model checking
- Software tools
- Concurrency theory
- Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming.
- Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi
- Formal semantics
- (extensions to) AADL, stochastic Petri nets, process algebras.
Honours and Awards
- 2024 Member, German National Academy of Sciences (Leopoldina)
- 2022 Member of the North Rhine-Westphalian Academy of Science, Humanities and the Arts
- 2021 Member of the Royal Holland Society of Science and Humanities (KHMW)
- 2020 ACM Fellow
- 2018 Awarded ERC Advanced Grant
- 2017 Honorary doctorate from Aalborg University
- 2013 Distinguished Professor at RWTH Aachen University
- 2013 Chair of Steering Committee ETAPS Conference
- 2013 Visiting Fellow Trinity College, University of Oxford
- 2010 Elected Member IFIP WG 2.2 on Formal Description of Programming Concepts
- 2010 Teaching Award from the Computer Science Department, RWTH Aachen University
- 2009 ACM Senior Member
- 2005 Elected Member IFIP WG 1.8 on Concurrency Theory
- 2004 Offer for a full Professorship on Software Engineering, University of Freiburg (D)
- 2000-2003, EPSRC Visiting Professorship at the University of Birmingham (UK)
- 1988 Philips Early Career Development Award
