School of Computer Science,
Menntavegur 1, IS-101
Tel: +354 774 8308
Fax: +354 599 6301
You can download my CV in PDF format.
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.
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.
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.