Joost-Pieter Katoen#
Membership Number: | 3453 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2013 |
Main Country of Residence: | GERMANY |
Homepage(s): | http://moves.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
- Model checking
- Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata
- Concurrency theory
- Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi
- Formal semantics
- (extensions to) AADL, stochastic Petri nets, process algebras.
- Program analysis
- Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming.
- Software tools
- MRMC (probabilistic model checker), libalf (learning communicating finite-state automata), COMPASS (AADL analysis tool-set)
Honours and Awards
- 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