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.
Modeling and analysis of safety, dependability, performance, and security aspects of
software-intensive embedded systems by means of model checking, automated planning,
theorem proving and testing.
Synthesis of parameters and strategies, schedules and plans,
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 optimization (e.g. through stochastic timed automata),
signaling pathways in biological systems (e.g., through timed automata)
and quantum circuit optimization and compilation (e.g., through planning and SAT solving).