About Me
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):
____________________________________
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 Programmes
Bachelor
Master
Courses Academic Year 2023/2024
Courses Academic Year 2022/2023
Current Projects
Finished Projects
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3039
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3039
P.O. Box 217
7500 AE Enschede
The Netherlands