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 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 CREST Center and the Programming Languages Group at Indiana University.
This website is on Icelandic servers that run on 100% renewable energy

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

Previous affiliations



Current Work/Projects:

Software / Formal Proofs