Jaco van de Pol

Prof. Dr. J.C. van de Pol
Chair of Formal Methods and Tools
University of Twente, Faculty EEMCS, Research Institute CTIT.
Contact Information
Research Interests
Recent Publications (from 2007 onward) and Edited Volumes (see also dblp)
Full Curriculum Vitae (pdf)

Academic Service

Programme Leader of the Twente Graduate School on Dependable and Secure Computing
Member Expertise Council CTIT, the Centre of Telematics and Information Technology
Chairman of NVTI, the Dutch Association of Theoretical Computer Science
Board member of Research School IPA, the Institute for Programming Research and Algorithmics
Vice-chair of the ERCIM working group FMICS, Formal Methods in Industrial Critical Systems
PC member of SOFSEM'11, FMICS'11, PDMC'11, WRS'11, FOCLASA'11.
Program Chair of IFM'05, PDMC'05, '06, '09 and SPIN 2010.

Courses

Basismodellen Informatica: computation with automata, grammars and Turing machines (voorlichting)
Verification Engineering: rigorous specification, design and testing (BSc Project Course)
Concurrent and Distributed Programming
Modelling and Analysis of Concurrent Systems I: process algebra and data algebra
Modelling and Analysis of Concurrent Systems II: model checking algorithms and implementation
FMT is involved in many other courses and projects (see under Education).

Research Interests

 Modeling and analysis of safety, dependability and security aspects of software-intensive embedded systems by means of model checking, theorem proving and testing. More specifically, the development of new model checking techniques based on symbolic techniques (e.g. abstraction, confluence, fixpoint equation systems, constraint solving) and high-performance computing (e.g. distributed model checking, multi-core and out-of-core algorithms). Application domains include embedded systems, distributed systems, security protocols, and biological systems.
For concrete projects, please refer to the FMT website.

Some other links

Older Publications (before 2007)
Coordinator of FP6 STREP EC-MOAN (2007-2010)
The course Algorithms for Model Checking at the TU/e
JITty: A rewriter with strategy annotations
Inloophuis Hengelo
De Morgenster, Christelijk/Nederlands Gereformeerde Kerk, Hengelo