ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Jaco van de Pol

Registered user since Wed 22 Aug 2018

Name:Jaco van de Pol

Jaco van de Pol started his research in Utrecht 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. He published ~25 journal papers, ~100 conference papers, and edited ~10 volumes. 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


ETAPS 2019 Minimal-Time Synthesis for Parametric Timed Automata
SynCoP 2019 Pruning NDFS for Parametric Timed Automata
Committee Member in Organizing Committee within the SynCoP-track
TACAS 2019 Minimal-Time Synthesis for Parametric Timed Automata
Multi-Core On-The-Fly Saturation
Show activities from other conferences

ETAPS 2019-profile
View general profile