Joost-Pieter Katoen
jpk_forbidden_city
I am full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente.

I am currently Head of the Computer Science Department at RWTH Aachen University.

For more information consider my CV.  Personal interests: my family, cycling and music (passive).
Book: Principles of Model Checking MIT Press, May 2008 (table of contents and errata)
Publications: list of papers   citeseer   scholar.google   DBLP   Quadsearch   Microsoft Academic Search
Events: CONCUR 11   QEST 11   PhD School QMC 10   YR-CONCUR 09   COMPASS 09   WAL 07   VOSS 07   QAES 07   25Y Process Algebra   QEST 04   MBT 04   VOSS 02   FMPA 00   ARTS 99
Tools: AADL Toolset   MRMC   MOTOR   SMYLE   libalf
Invited talks: CONCUR 13   SFM 13   ROCKS 12   MOD 12   ACSD+PN 12   iFM/ABZ 12   LSV15Y   RP 11   FMICS 11   VTSA 11   FSEN 11   IMCPS 11   RIO 11   HAS 11   CDC 10   SSMC 10   MLQA 10   MOVEP 10   ICE 10   QMC 10   VMCAI 10   FMWEEK 09   FMCO 09   NWPT 09   CDC 08   GLOBAN 08   TASE 08   FORMATS 07   MOTIVES 07   GVD 06   FMCO 05   AVOCS 05
Program committees: CAV 13   ATVA 13   FORTE/FMOODS 13   TACAS 13   LATA 13   FSEN 13   MOVEP 12   ATVA 12   QEST 12   QFM 2012   CIAA 12   FMICS 12   FOSSACS 12   MMB 12   CAV 11   CONCUR 11 (chair)   PSI 11   ICALP 11   FASE 11   ISOLA 10   CONCUR 10   MOVEP 10   NSMC 10   QEST 10   RP 10   TACAS 10   MMB 10  
Steering committees/editorial boards: ETAPS (deputy chair)   FORMATS   TACAS   STTT   QEST (chair)  
Scientific organizations: IFIP WG 1.8   IFIP WG 2.2   NVTI   ACM (senior fellow)  
Current teaching: Theoretical Foundations of the UML   Turing Award Winners   Success Stories in Formal Methods
Editorship: edited volumes
Former PhD students: Dino Distefano   Tingting Han   David N. Jansen   Marijn Jongerden   Carsten Kern   Daniel Klink   Alexandru Mereacre   Martin Neuhaeusser   Viet Yen Nguyen   Stefan Rieger   Ivan S. Zapreev

Contact:

Prof. Dr. Ir. Joost-Pieter Katoen, PDEng
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 December 26, 2012