Didattica

Insegnamenti

2024 - 2025

• INFORMATICA E COMPUTAZIONE (cod. 86755)
  CORSO DI LAUREA - INGEGNERIA INFORMATICA

Ricerca

Pubblicazioni IRIS

• Model-based Verification and Monitoring for Safe and Responsive Robots
  Anno: 2025
• GADTs are not (Even partial) functors
  Anno: 2024
• Towards a Verifiable Toolchain for Robotics
  Anno: 2024
• Modeling Robot Control Architectures forVerification andMonitoring
  Anno: 2024
• Internalization and enrichment via spans and matrices in a tricategory
  Anno: 2023