Prof. Jaco van de Pol
Currently, I have two vacancies for
PhD students (fully paid, three years) and one for a
Postdoc researcher (2 years).
- Two papers at TACAS 2019, both with Artefact Evaluation Stamp
- I came to Aarhus University by November 1st, 2018!
- Best Student Paper Award at BPM 2018, Sydney Australia, with
Vincent Bloemen, et al.
- Djurre van der Wal wins the Internet MSc thesis prize 2018.
- Best Paper Award at SPIN 2017, Santa Barbara, USA, with Wytse
Oortwijn, et al.
- Organizer of the Lorentz Workshop on
Verification Competitions, Feb 2019, Leiden, The Netherlands
- Invited Speaker at
CONCUR 2019, Concurrency Theory, Amsterdam, The Netherlands
- Program Chair of
2019, Synthesis of Complex Parameters, Prague, Czech Republic
- PC member of TACAS 2020,
Tools and Algorithms for the Construction and Analysis of Systems
- PC member of
World Congress on Formal Methods, Porto, Portugal
- PC member of FSCD 2019,
Formal Structures for Computation and Deduction, Dortmund, Germany
- PC member of FORTE 2019,
Formal Techniques for Distributed Objects, Components, and Systems,
- PC member of ACSD 2019,
Application of Concurrency in System Design, Aachen, Germany
- PC member of SPIN 2019,
SPIN Symposium on Model Checking of Software, Beijing, China
- PC member of FMICS 2019,
Formal Methods in Industrial Critical Systems, Amsterdam, The Netherlands
- PC member of SETTA 2019,
Symposium on Dependable Software Engineering Theories, Tools and Applications, Beijing, China
- PC member of FM 2019 DS,
Formal Methods 2019 Doctoral Symposium, Porto, Portugal
I am teaching a 10EC course on
Computability and Logic.
Are you interested in the Computer Science
MSc programmes, or
PhD programmes at Aarhus University?
Academic Service (since 2014)
- Editorial board SCP
(Science of Computer Programming)
- Editorial board STTT
(Software Tools and Technology Transfer
- Member of the Steering Committee SPIN Symposium on Model Checking Software
- Chair of the Steering Committee of FMICS,
the ERCIM working group on Formal Methods in Industrial Critical Systems
- Program Chair of
TACAS 2015 (tool chair),
AVOCS 2014, and
- PC member of:
- FMCAD 2018
- SynCop 2018
- TMPA 2017
- FM 2016 (Doctoral Symposium)
- LATA 2015
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).
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.