A.A. 2023/24:
Principles for Software Composition (9 cfu - Teams)
(Master Degree in Computer Science, in English)
Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
A.A. 2022/23:
Foundation of Computing (6 cfu -
Teams)
(Master Degree in Computer Science, in English)
Principles of Abstract Interpretation (20h,
Teams)
(PhD in Computer Science, in English)