Home

Short biography

I have received my Ph.D. at IT University of Copenhagen (Denmark) in October, 2016 within the Theoretical Computer Science section. I have been supervised by Rasmus Møgelberg and co-supervised by Jesper Bengtson.
I received my M.Sc. degree in Computer Science at the University of Udine (Italy) with full marks (110/110 cum laude) under the supervision of Marino Miculan.

I am interested in foundations of programming languages, denotational semantics, category theory and type theory.

Activities

  • September 2014 - I was hosted by the "Logic and Semantics" group headed by prof. Lars Birkedal at Aarhus University.
  • Spring 2014 - Lecturer in "Advanced Models and Programs" - with Jesper Bengtson - Course Home Page on Learn IT

Contact informations

  • affiliation: IT University of Copenhagen
    address: Rued Langgaards Vej 7, 2300 Copenhagen, Denmark (map)
    office: 4C02 (4th floor, C corridor, Room 02)
    phone: +45 72185293
    e-mail:

valid XHTML | CSS