Didattica

Insegnamenti

2025 - 2026

• ISTITUZIONI DI MATEMATICHE (cod. 52344)
  CORSO DI LAUREA - SCIENZE BIOLOGICHE
• LOGICA MATEMATICA (cod. 90705)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE (cod. 42925)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA

2024 - 2025

• ELEMENTI DI MATEMATICA (cod. 72565)
  CORSO DI LAUREA - SCIENZA DEI MATERIALI
• LOGICA MATEMATICA (cod. 90705)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• TEORIA DELLA DIMOSTRAZIONE (cod. 107014)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA

Ricerca

Pubblicazioni IRIS

• MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS
  Anno: 2025
• Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics
  Anno: 2025
• A proof-theoretic approach to formal epistemology
  Anno: 2024
• A Unified Gentzen-style Framework for Until-free LTL
  Anno: 2024
• G3-style Sequent Calculi for Gurevich Logic and Its Neighbors
  Anno: 2024

Lista completa pubblicazioni IRIS