- Prof. Dr. J.C. van de Pol
- Chair Formal Methods and Tools
- University of Twente,
Faculty EEMCS,
Research Institute
CTIT.
- Postal Address:
- University of Twente
- Department of Computer Science
- P.O. Box 217
- 7500 AE Enschede
- The Netherlands
- Visitor's Address:
- Building "Zilverling", Room 5057
(getting there)
- Telephone/Fax:
- +31-(0)53-489 3017 (office)
- +31-(0)53-489 3767 (secretary)
- +31-(0)53-489 3247 (fax)
- E-mail:
- vdpol@cs.utwente.nl
- Home Address:
- A M de Jongstraat 18
- 7552 NL Hengelo
- The Netherlands
- Phone: +31 (0)74 - 7501502