Matteo Cimini

I have 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 the Meta-Theory of Structural Operational Semantics.
Here is my CV and my Ph.D. thesis.

I am a postdoctoral fellow at Indiana University, Bloomington, supervised by Jeremy Siek.
I am a member of the Center for Research in Extreme Scale Technologies (CREST).
I am also a member of the Programming Languages Group at Indiana University.
This website is on Icelandic servers that run on 100% renewable energy

Research interests: Programming languages, concurrency theory, formal semantics, software verification, formal methods, type systems, gradual typing, proof theory, interactive theorem proving, process algebra, behavioural equivalences, bisimulation and coinductive techniques.

Previous affiliations and M.Sc. education:



Current Work/Projects:

Software / Formal Proofs