Didattica

Insegnamenti

2025 - 2026

• ALGORITHMS LABORATORY (cod. 115460)
  CORSO DI LAUREA - INGEGNERIA INFORMATICA

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
• Modeling Robot Control Architectures forVerification andMonitoring
  Anno: 2024
• Towards a Verifiable Toolchain for Robotics
  Anno: 2024
• GADTs are not (Even partial) functors
  Anno: 2024
• Learning Linear Temporal Properties for Autonomous Robotic Systems
  Anno: 2023

Lista completa pubblicazioni IRIS