Prof. Jaco van de Pol

Department of Computer Science
Aarhus University

Contact Information
Research Interests
My Publications in DBLP and Google Scholar.
(Manuscripts available from Pure (Twente, 2007-2018) or Pure (Aarhus, from 2019) or publications until 2006)
Full Curriculum Vitae (May 2022, pdf)

We are Hiring!!

Currently, we have a vacancy for a fully paid PhD position on the Synthesis of Parametric Timed Games. The position is mainly in Paris with research visits to Aarhus. It is co-supervised by Laure Petrucci (LIPN, University Paris 13, France) and Jaco van de Pol (Aarhus University, Denmark). You find more information, and can apply here. Deadline is June 10, but we will process applications first-come first-serve.
See our Graduate School for other PhD opportunities in Computer Science at Aarhus University.

Recent News


Courses

I am teaching a 10EC course on Computability and Logic.
From spring 2022, I will be teaching a 10 EC course "Algorithmic Model Checking" with Andreas Pavlogiannis.
Are you interested in the Computer Science BSc programmes, MSc programmes, or PhD programmes at Aarhus University?

Academic Service (since 2014)


Research Interests

Modeling and analysis of safety, dependability, performance, and security aspects of software-intensive embedded systems by means of model checking, theorem proving and testing.

Synthesis of parameters and strategies for the control and testing of safety-critical systems.

The development of new model checking techniques based on symbolic techniques (e.g. abstraction, confluence, fixpoint equation systems, constraint solving) and high-performance graph algorithms (e.g. distributed and multi-core model checking algorithms).

Application domains include embedded systems (e.g. railway safety interlockings), distributed systems (e.g. blockchain and smart contracts), security protocols and risk analysis (e.g. through attack-defense trees), energy optimisation (e.g. through stochastic timed automata) and signaling pathways in biological systems.


Older News