Didattica

Insegnamenti

2025 - 2026

• PROGRAMMAZIONE CONCORRENTE E ALGORITMI DISTRIBUITI (cod. 80302)
  CORSO DI LAUREA - INFORMATICA
• SISTEMI DI ELABORAZIONE E TRASMISSIONE DELL'INFORMAZIONE (cod. 80300)
  CORSO DI LAUREA - INFORMATICA
• TEORIA DEGLI AUTOMI E CALCOLABILITÀ (cod. 80303)
  CORSO DI LAUREA - INFORMATICA

2024 - 2025

• ALGORITMI E STRUTTURE DATI (cod. 80298)
  CORSO DI LAUREA - INFORMATICA
• INTRODUZIONE ALLA PROGRAMMAZIONE - B - B (cod. 80299)
  CORSO DI LAUREA - INFORMATICA
• PROGRAMMAZIONE CONCORRENTE E ALGORITMI DISTRIBUITI (cod. 80302)
  CORSO DI LAUREA - INFORMATICA

Ricerca

Pubblicazioni IRIS

• Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
  Anno: 2025
• Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
  Anno: 2025
• Wait-Only Broadcast Protocols Are Easier to Verify
  Anno: 2025
• Decidability Problems for Micro-Stipula
  Anno: 2025
• Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
  Anno: 2024

Lista completa pubblicazioni IRIS