Matteo Cimini

I received a Ph.D. in Computer Science at Reykjavik University, in Iceland, under the supervision of Luca Aceto and Anna Ingólfsdóttir. The research topic of my Ph.D. thesis is Meta-Theory of Structural Operational Semantics.

Here are my Ph.D. thesis and my CV.

Currently, I am a postdoc researcher and teaching assistant at Reykjavik University.

My research group: ICE-TCSThe logo of ICE-TCS is courtesy of Emilka Bojanczyk.

Contact

ICE-TCS,
School of Computer Science,
Reykjavik University,
Menntavegur 1, IS-101,
Reykjavik, Iceland.

E-mail: matteo [AT] ru.is
Phone: +354 778 7638

Publications

Professional activities:

          Process Algebra and Coordination (PACO 2011), satellite event of DisCoTec 2011. Organization Chair and website maintainer.