Matteo Cimini

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.

I have received a Ph.D. in Computer Science at Reykjavik University, in Iceland.

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