Joost-Pieter Katoen#


Joost-Pieter Katoen
Email:katoen 'at' cs.rwth-aachen.de
Membership Number:3453
Membership type:ORDINARY
Main Country of Residence:GERMANY
Section:INFORMATICS
Username:jkatoen
Homepage: 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

Imprint Privacy policy « This page (revision-9) was last updated on Monday, 14. October 2013, 12:57 by Kaiser Dana
  • operated by