Eugen-Ioan Goriac
Eugen's picture


E-mail: moc.liamg @ cairog.negue
Tel: +354 774 8308


You can download my CV in PDF format.

Current Affiliation

Since August 2013 I have been working as a biomedical researcher at the Icelandic Heart Association.

Previous Affiliations

I earned my Ph.D. 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 was involved in consists in developing Meta-Theories of Algebraic Process Theories.

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.