Jaco van de Pol

Registered user since Wed 22 Aug 2018

Name:Jaco van de Pol

Jaco van de Pol did his PhD research in Utrecht University on rewrite systems, in particular termination of higher-order rewrite systems. At CWI Amsterdam, he published several papers on theorem proving and model checking for concurrent systems in process algebra and contributed to the µCRL toolset. In Twente, he started a new research line on parallel model checking algorithms. This resulted in the LTSmin toolset for high-performance model checking. He worked on applications in embedded systems, safety & security and systems biology.

Jaco van de Pol is now professor of Computer Science at Aarhus University, working on automated verification and synthesis. Publications at Google Scholar and DBLP.


  • MSc Utrecht University (supervisor Hans Zantema)
  • PhD Utrecht University (supervisor Jan Bergstra)
  • Research Assistant LMU Mathematisches Institute Munich (with Helmut Schwichtenberg)
  • Postdoc Technical University of Eindhoven (with Jozef Hooman)
  • Senior Researcher CWI (1999-2007)
  • Associate Professor Technical University of Eindhoven (2004-2007, 20%)
  • Professor Formal Methods and Tools at University of Twente (2007-2018; from Nov 2018 10%)
  • Professor Computer Science at Aarhus University (from Nov 2018)
Affiliation:Aarhus University
Research interests:Formal Methods, Model Checking, Concurrency, Parallel Algorithms, Theorem Proving


ECOOP 2023 Author of Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism within the Research Papers-track
NASA Formal Methods Author of Adiar 1.1 : Zero-suppressed Decision Diagrams in External Memory within the NFM 2023-track
SPLASH 2021 Author of Relational Nullable Types with Boolean Unification within the OOPSLA-track
SPIN 2021 Aarhus University in Programming Committee within the SPIN-track
SPLASH 2020 Author of Polymorphic Types and Effects with Boolean Unification within the OOPSLA-track
SPIN 2019 Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
ETAPS 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track
SynCoP 2019 Author of Pruning NDFS for Parametric Timed Automata within the SynCoP-track
Committee Member in Organizing Committee within the SynCoP-track
TACAS 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track
Author of Multi-Core On-The-Fly Saturation within the TACAS 2019-track
SPIN 2017 Session Chair of Session 12: Testing (part of SPIN Full Paper)
PPoPP 2016 Author of Multi-Core On-The-Fly SCC Decomposition within the Main conference-track