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 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.

I am looking for an academic position: (CV, Research Statement, Teaching Statement)

Previous affiliations:



Current Work/Projects:

Software / Formal Proofs