Joost-Pieter Katoen
Pure cotton jpk_forbidden_cityThat's me
I am full professor at the RWTH Aachen University (Germany) in the Software Modeling and Verification (MOVES) group and associated to the Formal Methods & Tools group at the University of Twente (the Netherlands).

For more information you may consider my CV.  Personal interests: my family, cycling and music (passive).
Recent book: Principles of Model Checking MIT Press, May 2008 (table of contents)
Publications: list of papers   citeseer   scholar.google   DBLP   h-index
Events: COMPASS 09   WAL 07   VOSS 07   QAES 07   25Y Process Algebra   QEST 04   MBT 04   VOSS 02   FMPA 00   ARTS 99
Tools: MRMC model checker   MODEST tool environment   SMYLE synthesis tool
Invited talks: NWPT 09   FMWEEK 09   CDC 08   GLOBAN 08   TASE 08   FORMATS 07   MOTIVES 07   GVD 06   FMCO 05   AVOCS 05
Program committees: TACAS 10   FORMATS 09   PSI 09   SOFSEM 09   FORMATS 08   SSV 08   DSN 08   QEST 07   PERFORMANCE 07   FSTTCS 06  
Steering committees/editorial boards: ETAPS   QEST   J. of Software  
Scientific organizations: EPSRC Review College   IFIP WG 1.8   NVTI  
Current teaching: advanced model checking   concurrent and probabilistic models   probabilistic systems
Editorship: edited volumes
Former PhD students: Dino Distefano   David N. Jansen   Ivan S. Zapreev

Contact:

Prof. Dr. Ir. Joost-Pieter Katoen
RWTH Aachen University
LS2: Software Modeling and Verification
D-52056 Aachen (Germany)
 Tel: +49 (241) 8021200
Secretary: +49 (241) 8021201
Fax: +49 (241) 8022217
 last name [at] ce es dot er wee tee ha dot dee eee

Miscellaneous


Updated on June 9, 2009