About me

I am a postdoctoral researcher at the University of Konstanz - Chair for Software and Systems Engineering.
Previously I was appointed as a postdoctoral researcher at ETH Zürich - Chair of Software Engineering, and tenured at the Faculty of Computer Science - A. I. Cuza University.

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. My thesis, entitled "Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics", was defended on the 16'th of December 2013.

More details can be found in my CV.

Research

My research interests center around the formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and system semantics.
Keywords: concurrency, coalgebra, process algebra, automata, structural operational semantics, model checking, causality checking, equational logic, rewriting logic.

Contents