E-mail: moc.liamg @ cairog.negue
Tel: +354 774 8308
You can download my CV in PDF format.
Since August 2013 I have been working as a biomedical researcher at the Icelandic Heart Association.
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.
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.