My research focuses on foundations of programming languages. I am especially interested in employing and developing coinductive techniques for operational semantics and type systems.

Another area of interest is categorical logic, especially the study of modal and substructural logics via Lawvere’s doctrines.

Research interests

  • Inference systems and coinduction
  • Operational semantics and operational reasoning
  • Type systems
  • global types and session types
  • Categorical logic


  • Davide Ancona
  • Viviana Bono
  • Mariangiola Dezani-Ciancaglini
  • Francesco Gavazzo
  • Paola Giannini
  • Luca Padoani
  • Giuseppe Rosolini
  • Jurriaan Rot
  • Elena Zucca

Organising Activity

Committee Membership