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.

My CV can be found here.

UT students interested in collaborating with me, can review the available (thesis) proposals: [1], [2], [3].


Activities & Events (selection):

STAF 2024   ETAPS blog


(Recent) Committees:

PC: CALCO 2023, ESOP 2023, FORTE 2022/2023, FSEN 2023, IEEE NFV-SDN 2020/2021, SPIN 2022/2024, NFM 2023.

OC: FSEN 2025, STAF 2024, CREST@ETAPS 2019/2023, EXPRESS/SOS 2023, IEEE NFV-SDN 2020-2022, SAC-SVT 2023/2024, SPIN 2023.


Current projects

Finished projects


University of Twente

Zilverling (building no. 11), room 3039
Hallenweg 19
7522 NH Enschede

Navigate to location


Scan the QR code or
Download vCard