!!!Joost-Pieter Katoen
[{Image src='katoen_joost_pieter_small.jpg'  alt='Joost-Pieter Katoen' height='200'}]
Homepage:%%(margin-left:23px;) %%[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

[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Katoen_Joost-Pieter/CV]
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Katoen_Joost-Pieter/Publications]
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Katoen_Joost-Pieter/Highlight]
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Katoen_Joost-Pieter/OtherInformation]

[{ALLOW view All}]
[{ALLOW edit jkatoen}]
[{ALLOW upload jkatoen}]
[{ALLOW comment All}]