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

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