ABOUT ME

I am an independent junior scientist at the University of Konstanz, Chair for Software and Systems Engineering. Previously, I was appointed as a post-doctoral researcher at ETH Zürich, Chair of Software Engineering, and 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 AcetoMarcello BonsangueAnna IngólfsdóttirJan Rutten and Alexandra Silva. See here for more details about my thesis "Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics".

RESEARCH INTERESTS

  • concurrency theory

  • formal semantics

  • models of computation

  • causal models and causality checking

  • software defined networks

  • systems and software engineering

EDUCATION

2010 - 2013

Reykjavik University & Radboud University

Ph.D., Computer Science

2007 - 2009

Al. I. Cuza University

M.Sc., Computer Science (Software Engineering)

2003 - 2007

Al. I. Cuza University

B.Sc., Computer Science (Software Engineering)