Jaco van de Pol

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
Computer Science (Zilverling 3055)
P.O. Box 217
7500 AE Enschede
The Netherlands

Visitor's Address:
Building "Zilverling", Room 3055 (getting there)
Telephone: +31-(0)53-489 3017 (office),   +31-(0)53-489 3767 (secretary Ida den Hamer)

E-mail:
J.C.vandePol@utwente.nl