Matteo Cimini

Educational Background

  • Ph.D., 2012, Computer Science, Reykjavik University
  • M.Sc., 2008, Computer Science, University of Bologna
  • B.Sc., 2005, Computer Science, University of Bologna

Research Interests

  • Structural Operational Semantics
  • Concurrency Theory
  • Proof Theory and Interactive Theorem Proving

Recent Research Projects

  • Research on Gradual Typing
  • Contributions to the meta-theory of Structural Operational Semantics
  • Nominal SOS, an SOS framework for the specification of languages with binders
  • Formalization of some aspects of operational semantics in the Abella theorem prover
Image: 
Last Name: 
Cimini
Title: 
Postdoctoral Researcher
Email: 
mcimini(at)indiana.edu
People Category: 
Rank: 
Scientists
First Name: 
Matteo
----------