Jaco van de Pol

Prof. Dr. J.C. van de Pol
Chair of Formal Methods and Tools
University of Twente, Faculty EEMCS

Contact Information
Research Interests
Publications from 2007 onward, Publications until 2006
Entries in DBLP and Google Scholar
Full Curriculum Vitae (November 2018, pdf)

Recent News

Academic Service (since 2014)


FMT is involved in many courses and projects. Enroll in our master program Software Technology.

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)
JITty: A rewriter with strategy annotations