Joost-Pieter Katoen

Pure cotton That's me


I am a full professor at the RWTH Aachen University (Germany) in the Programming Languages and Software Validation group and am affiliated to the Formal Methods & Tools group at the University of Twente.

My webpage just moved here.


Prof. Dr. Ir. Joost-Pieter Katoen
University of Twente
Formal Methods and Tool Group
P.O. Box 217
7500 AE Enschede (NL)
Tel: +31 (53) 4895675
Secretary: +31 (53) 4893767
Fax: +49 (241) 8022217
 last name [at] ce es dot er wee tee ha dot dee eee

Updated on October 5, 2005