Visiting addressETH Zürich
D-INFK, RZ-Building, Room J5
Phone: +41 79 857 85 29
Fax: +41 44 632 14 35
From August 2010 to August 2013 I was a PhD student at Reykjavík University, Iceland, and Radboud University, the Netherlands, 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.
I graduated my Bachelor and Master studies at A. I. Cuza University, Romania.
More details can be found in my CV.
My research interests include: concurrency, program analysis, formal languages, automata, category theory, coalgebra, process algebra, structural operational semantics, equational logic, rewriting logic.