Didattica

Insegnamenti

2026 - 2027

• ABILITÀ INFORMATICHE E LINGUA INGLESE PER LE SCIENZE DELLO SPORT (cod. 117607)
  CORSO DI LAUREA MAGISTRALE - SCIENZE E TECNICHE DELLO SPORT
• INFORMATICA AVANZATA (cod. 121191)
  CORSO DI LAUREA - TECNICHE ORTOPEDICHE
• INFORMATICA BASE (cod. 121190)
  CORSO DI LAUREA - TECNICHE ORTOPEDICHE
• ELEMENTI DI INFORMATICA E ANALISI DEI DATI (cod. 114968)
  CORSO DI LAUREA - SCIENZE BIOLOGICHE
• MINI-COURSES (cod. 121622)
  CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE

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

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
• A Semantic Account of Rigorous Simulation
  Anno: 2018

Lista completa pubblicazioni IRIS