1°
|
|
Big data
|
Damiano Carra
(Coordinator)
|
1°
|
|
Data Mining and Knowledge Discovery
|
Pietro Sala
(Coordinator)
|
1°
|
|
Foundations of software analysis and verification
|
Isabella Mastroeni
(Coordinator)
|
1°
|
|
Foundations of software engineering
|
Mariano Ceccato
(Coordinator)
|
1°
|
|
Foundations of Artificial Intelligence
|
Alessandro Farinelli
(Coordinator)
|
1°
|
|
Foundations of programming and specification languages
|
Massimo Merro
(Coordinator)
|
1°
|
|
Foundations of Security and Privacy
|
Federica Maria Francesca Paci
(Coordinator)
|
1°
|
|
Visual intelligence
|
Gloria Menegaz
(Coordinator)
|
1°
|
|
Information Systems
|
Barbara Oliboni
(Coordinator)
|
1°
|
|
Software security
|
Mila Dalla Preda
(Coordinator)
|
1°
|
|
Automated System Verification
|
Matteo Cristani
(Coordinator)
|
|
2°
|
|
Image Processing II
|
Gloria Menegaz
(Coordinator)
|
2°
|
|
The Physics of Integrated Devices
|
Alessandro Romeo
(Coordinator)
|
2°
|
|
Physical human-robot interaction
|
Riccardo Muradore
(Coordinator)
|
2°
|
|
Human-computer Interaction
|
Andrea Giachetti
(Coordinator)
|
2°
|
|
Non-conventional Calculation Methods
|
Giuditta Franco
(Coordinator)
|
2°
|
|
Robotics
|
Paolo Fiorini
(Coordinator)
|
2°
|
|
Software security
|
Mila Dalla Preda
(Coordinator)
|
2°
|
|
Advanced recognition systems
|
Marco Cristani
(Coordinator)
|
2°
|
|
Data-intensive computing systems
|
Damiano Carra
(Coordinator)
|
2°
|
|
Design automation of embedded systems
|
Tiziano Villa
(Coordinator)
|
|
1° 2°
|
|
Cryptography
|
Roberto Segala
(Coordinator)
|