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.

Organisations

Current projects

Finished projects

Address

University of Twente

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

Navigate to location

Organisations

Scan the QR code or
Download vCard