Matteo Cimini

I have received a Ph.D. in Computer Science at Reykjavik University, in Iceland.
My Ph.D. advisors were Luca Aceto and Anna Ingólfsdóttir.

I am a Research Associate at Indiana University, Bloomington.
I am a member of the CREST Center and the Programming Languages Group at Indiana University.
Here is my CV.

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