I am an assistant professor in the Formal Methods and Tools group at University of Twente. Previously, I worked as an independent junior scientist at University of Konstanz, Chair for Software and Systems Engineering, and as a post-doctoral researcher at ETH Zürich, Chair of Software Engineering. I graduated my PhD from Reykjavík University and Radboud University.
My research centers around the formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and systems semantics. Areas of interest include:
- concurrency theory, process algebra, coalgebra, causal models and causality checking, software defined networks, systems and software engineering.
Activities & Events (selection):
PC: CALCO 2023, ESOP 2023, FORTE 2022/2023, FSEN 2023, IEEE NFV-SDN 2020/2021, SPIN 2022/2024, NFM 2023.
OC: FSEN 2025, CREST@ETAPS 2019/2023, EXPRESS/SOS 2023, IEEE NFV-SDN 2020-2022, SAC-SVT 2023/2024, SPIN 2023.