Didattica

Insegnamenti

2025 - 2026

• LINGUAGGI DI PROGRAMMAZIONE (cod. 61799)
  CORSO DI LAUREA - INFORMATICA
• PRINCIPLES AND PARADIGMS OF PROGRAMMING LANGUAGES (cod. 90546)
  CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE
• TEORIA DEGLI AUTOMI E CALCOLABILITÀ (cod. 80303)
  CORSO DI LAUREA - INFORMATICA

2024 - 2025

• LINGUAGGI E PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (cod. 61799)
  CORSO DI LAUREA - INFORMATICA
• PRINCIPLES AND PARADIGMS OF PROGRAMMING LANGUAGES (cod. 90546)
  CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE

Ricerca

Pubblicazioni IRIS

• SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
  Anno: 2024
• A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
  Anno: 2024
• Fair termination of multiparty sessions
  Anno: 2024
• Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
  Anno: 2023
• A Java-like calculus with heterogeneous coeffects
  Anno: 2023

Lista completa pubblicazioni IRIS