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 2018) or publications until 2006) Full Curriculum Vitae (March 2019, pdf)

I'm Hiring!!

Recent News

• 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 SynCoP 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 FM 2019, 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, Lyngby, Denmark
• 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

Courses

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 SPIN 2010.
• PC member of:
  • TACAS (2017, 2015, 2014)
  • Spin (2018, 2015, 2014)
  • FMCAD 2018
  • ICFEM (2018, 2017, 2016, 2015, 2014)
  • FMICS (2018, 2017, 2016, 2015, 2014)
  • AVOCS (2017, 2016, 2015, 2014)
  • ACSD (2018, 2017)
  • SynCop 2018
  • TMPA 2017
  • FM 2016 (Doctoral Symposium)
  • 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.