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):
____________________________________
(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
Affiliated study programs
Courses academic year 2024/2025
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
Courses academic year 2023/2024
- 192111332 - Design of Software Architectures
- 201400587 - Concurrent Programming
- 201500039 - Security Verification
- 201700342 - Internship TCS
- 202001024 - Software Systems Core
- 202001363 - Implementation Proj. Graph Isomorphism
- 202200191 - Functional and Logic Programming
- 202200192 - Concurrency and Compiler Construction
- 202300186 - Software Systems Core
- 202300188 - Programming Theory & Project
- 202300356 - Functional and Logic Programming
- 202300357 - Concurrency and Compiler Construction
Current projects
Finished projects
Address
University of Twente
Zilverling (building no. 11), room 3039
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3039
P.O. Box 217
7500 AE Enschede
Netherlands
Organisations
Download vCard