Didattica

Insegnamenti

2025 - 2026

• ABILITÀ INFORMATICHE E LINGUA INGLESE PER LE SCIENZE DELLO SPORT (cod. 117607)
  CORSO DI LAUREA MAGISTRALE - SCIENZE E TECNICHE DELLO SPORT
• ELEMENTI DI INFORMATICA E ANALISI DEI DATI (cod. 114968)
  CORSO DI LAUREA - SCIENZE BIOLOGICHE
• INTRODUZIONE ALLA PROGRAMMAZIONE - B - B (cod. 80299)
  CORSO DI LAUREA - INFORMATICA
• TOPICS IN COMPUTER SCIENCE (cod. 109203)
  CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE

2024 - 2025

• ABILITA' INFORMAT. E LINGUA INGLESE PER LE SCIENZE DELLO SPORT (cod. 58201)
  CORSO DI LAUREA MAGISTRALE - SCIENZE E TECNICHE DELLO SPORT
• ELEMENTI DI INFORMATICA E ANALISI DEI DATI (cod. 114968)
  CORSO DI LAUREA - SCIENZE BIOLOGICHE
• ELEMENTI DI INFORMATICA E DI BIOINFORMATICA (cod. 57279)
  CORSO DI LAUREA - SCIENZE BIOLOGICHE
• INTRODUZIONE ALLA PROGRAMMAZIONE - A - A (cod. 80299)
  CORSO DI LAUREA - INFORMATICA
• TOPICS IN COMPUTER SCIENCE (cod. 109203)
  CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE

Ricerca

Pubblicazioni IRIS

• Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
  Anno: 2023
• Robustness, Scott continuity, and computability
  Anno: 2023
• Sound Over-Approximation of Probabilities
  Anno: 2020
• System Analysis and Robustness
  Anno: 2019
• Safe & robust reachability analysis of hybrid systems
  Anno: 2018

Lista completa pubblicazioni IRIS