Prof. Jaco van de Pol
I'm Hiring!!
Currently, I have a vacancy for a fully paid PhD position
at Aarhus University,
in the
SIoT project on a Secure Internet-of-Things.
The project is a collaboration between four Danish universities and eight companies within the Digital Research Centre Denmark
(DIREC).
The application deadline is Feb 1, 2022. Please contact me at jaco@cs.au.dk if you consider applying.
Click here to apply directly!
Recent News
- With Magnus Madsen as PI, we received a 60,000 USD
Amazon Research Award
for our research on Type Inference with Boolean Unification in
Flix
- PC co-chair of
appFM 2021, 1st International Workshop on Applicable Formal Methods (Beijing, China), with Mario Gleirscher and Jim Woodcock.
- Simon Wimmer won a
H2020 MSCA Individual Fellowship in Aarhus,
for his project "Certywhere" - Safe Real-Time Systems: Certification Everywhere.
- My PhD students Vincent Bloemen and Marcus Gerhold win the
VERSEN PhD Thesis Award 2020
- We won the Oded Maler best paper Award 2020 at FORMATS 2020 (Vienna)
with Simon Wimmer and Frédéric Herbreteau
- We published
The 2020 Expert Survey on Formal Methods with Hubert Garavel and Maurice ter Beek
- PC member of FMICS 2022,
International Conference on Formal Methods for Industrial Critical Systems, Warsaw, Polen.
- PC member of iFM 2022,
International Conference on Integrated Formal Methods, Lugano, Switzerland.
- PC member of Petri Nets 2022,
International Conference on Concurrency Theory, Bergen, Norway.
- PC member of CONCUR 2021,
International Conference on Concurrency Theory, Paris, France.
- PC member of FM 2021,
Formal Methods, Beijing, China.
- PC member of TACAS 2021,
Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg.
- PC member of SETTA 2021,
Symposium on Dependable Software Engineering
Theories, Tools and Applications, Beijing, China.
- PC member of FMICS 2021,
Formal Methods in Industrial Critical Systems, Paris, France.
- PC member of SPIN 2021,
SPIN Symposium on Model Checking Software, Aarhus, Denmark.
- PC member of Petri Nets 2021
- Invited Lecturer at FSTTCS tutorial
Advances in Verification,
Bits-Pilani, Goa, India, 2020
- Invited Speaker at
CONCUR 2019, Concurrency Theory, Amsterdam, The Netherlands
- Best Student Paper Award at BPM 2018, Sydney Australia, with
Vincent Bloemen, et al.
- Best Paper Award at SPIN 2017, Santa Barbara, USA, with Wytse
Oortwijn, et al.
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)
- 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
- Organizer of the Lorentz Workshop on
Verification Competitions, Feb 2019, Leiden, The Netherlands
- Program Chair of
appFM 2021,
SynCop 2019,
TACAS 2015 (tool chair),
AVOCS 2014, and
SPIN 2010.
- PC member of:
- TACAS
(2021,
2020,
2017,
2015,
2014)
- FM 2021,
FM World Congress 2019,
Doctoal Symposium
(2019,
2016)
- SPIN
(2021,
2019,
2018,
2015,
2014)
- SETTA
(2021,
2020,
2019)
- ICFEM
(2020,
2019,
2018,
2017,
2016,
2015,
2014)
- FMICS
(2021,
2020,
2019,
2018,
2017,
2016,
2015,
2014)
- AVOCS
(2017,
2016,
2015,
2014)
- Petri Nets
(2022,
2021)
- ACSD
(2019,
2018,
2017)
- CONCUR 2021
- FORTE 2019
- FSCD 2019
- SBMF 2019
- FMCAD 2018
- SynCop 2018
- TMPA 2017
- LATA 2015
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
- May 2019: Nominated for the best teacher award at CS@Aarhus for my course on Computability & Logic
- Two papers at TACAS 2019, both with Artefact Evaluation Stamp
- Djurre van der Wal wins the Internet MSc thesis prize 2018.
- I came to Aarhus University by November 1st, 2018
