I am an assistant professor at the University of Twente, the Formal Methods and Tools group. Previously, I worked as an independent junior scientist at the University of Konstanz, Chair for Software and Systems Engineering, and as a post-doctoral researcher at ETH Zürich, Chair of Software Engineering. I was also tenured at A. I. Cuza University, Faculty of Computer Science.

My research interests center around the formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and system semantics.

​

I graduated my PhD from Reykjavík University and Radboud University, under the supervision of Luca Aceto, Marcello Bonsangue, Anna Ingólfsdóttir, Jan Rutten and Alexandra Silva. See here for more details about my thesis "Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics".