• Matteo Cimini
    Postdoctoral Researcher


    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