Profile
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.
Contact
| 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 |