Contact

CV

You can download my CV in PDF format.

Research Interests

Fundamental aspects of teoretical computer science:

• formal specification and verification of reactive systems using process algebra;
• semantics of systems: structural operational semantics, coalgebra;
• logic in computer science, with emphasis on rewriting logic;
• prototyping meta-theories.

Current Affiliation

I am a Ph.D. student in Computer Science at Reykjavik University. I started my program in August 2010, when I joined the ICE-TCS centre under the supervision of Luca Aceto and Anna Ingólfsdóttir. The topic of my Ph.D. thesis is Extending and Axiomatizing Structural Operational Semantics: Theory and Tools. The project I am involved in consists in developing Meta-Theories of Algebraic Process Theories.

Previous Affiliations

From October 2007 to July 2010 I was a Teaching and Research Assistant at the Faculty of Computer Science, "Al.I. Cuza" University, Iaşi, Romania.

I received my B.Sc. degree in Computer Sicence (2007) and an M.Sc. degree in Software Engineering (2010), Faculty of Computer Science, "Al.I. Cuza" University, Iaşi, Romania. The topics of both theses are related to CIRC, an automated coinductive prover on which I worked as the main developer for more than three years.