Joost-Pieter Katoen
jpk_forbidden_cityThat's me Again In action
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.

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: 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: 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   FORMATS 09   PSI 09   SOFSEM 09   FORMATS 08   DSN 08   QEST 07   PERFORMANCE 07   FSTTCS 06  
Steering committees/editorial boards: ETAPS   FORMATS   TACAS   STTT   QEST  
Scientific organizations: IFIP WG 1.8   IFIP WG 2.2   NVTI   ACM (Senior Fellow)  
Current teaching: Advanced Model Checking   Data Structures and Algorithms   Memory Models
Editorship: edited volumes
Former PhD students: Dino Distefano   Tingting Han   David N. Jansen   Marijn Jongerden   Carsten Kern   Daniel Klink   Alexandru Mereacre   Martin Neuhaeusser   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 March 15, 2012