Research

My research sits at the crossroads between theoretical computer science and software engineering, with a focus on formal methods for dependability analysis of complex cyber-physical systems. I am particularly interested in probabilistic model checking, symbolic methods, and the formal analysis of configurable and reconfigurable software systems.

A recurring theme in my work is explainability: developing formal methods that are not only verifying system properties but are also comprehensible. This connects my work on causality theory, decision diagrams, and formal analysis of configurable systems.

Current

• NWO VENI — Symbolic Verification and Explainability
• Center for Perspicuous Computing (CPEC) — Collaborative Research Center 248

Past

• Centre for Tactile Internet with Human-in-the-loop (CeTI) — Cluster of Excellence in the German Excellence Initiative
• Highly Adaptive Efficiency Computing (HAEC) — Collaborative Research Center 912