Jaco van de Pol
Personal data
- Prof. Dr. J.C. van de Pol
- Chair Formal Methods and Tools
- Postal Address:
- University of Twente,
Faculty EEMCS
- 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
- Coordinator of FP6 STREP
EC-MOAN
- Secretary of
NVTI
Courses
- Basismodellen in de Informatica
Voorlichting Basismodellen TW studenten
The rest is under construction
Other links
-
Publications from 2007 onward
(edited volumes)
- Publications before 2007
- The course Algorithms for Model Checking
at the TU/e
- JITty: A rewriter with
strategy annotations