| years | TTA | E-lrng | Name | Teacher or coordinator |
|---|---|---|---|---|
| 1° 2° 3° | - |
|
(click to insert) Advanced program analysis and verification |
Isabella Mastroeni
(Coordinator)
|
| 1° 2° 3° | - |
|
(click to insert) Big Data Systems and Analytics |
Elisa Quintarelli
(Coordinator)
|
| 1° 2° 3° | - | Cyber-physical system security |
Massimo Merro
(Coordinator)
|
|
| 1° 2° 3° | - |
|
Quantum Software |
Alessandra Di Pierro
(Coordinator)
|
