Didattica

Insegnamenti

2024 - 2025

• ANALISI E PROGETTAZIONE DI ALGORITMI (cod. 80306)
  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

Ricerca

Pubblicazioni IRIS

• Checking equivalence of corecursive streams: An inductive procedure
  Anno: 2024
• A Java-like calculus with heterogeneous coeffects
  Anno: 2023
• Multi-Graded Featherweight Java
  Anno: 2023
• Checked corecursive streams: Expressivity and completeness
  Anno: 2023
• Resource-Aware Soundness for Big-Step Semantics
  Anno: 2023