Joost-Pieter Katoen
inoxford      

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.

Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.

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: CARP 13   CONCUR 11   QEST 11   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: PRINSYS   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: FORMATS 14   Petri Nets 14   TACAS 14   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: CONCUR   ETAPS (chair)   FORMATS   STTT   QEST (chair)  
Scientific organizations: IFIP WG 1.8   IFIP WG 2.2   ACM (senior fellow)  
Latest teaching: Model Checking   Concurrency Theory   Trends in Computer-Aided Verification
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   Mark Timmer   Haidi Yue   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 January 1, 2014