Master's degree in Computer Science and Engineering

Current year courses

I semestre from 10/1/20 to 1/29/21
years	E-lrng	Name	Teacher or coordinator
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)

II semestre from 3/1/21 to 6/11/21
years	E-lrng	Name	Teacher or coordinator
1°		Web Applications	Roberto Posenato (Coordinator)
1°		Problems solving: Algorithms and Complexity	Romeo Rizzi (Coordinator)
1°		Fundamentals of Machine Learning	Marco Cristani (Coordinator)
1°		Foundations of Security and Privacy	Federica Maria Francesca Paci (Coordinator)
1°		Foundations of information systems	Alberto Belussi (Coordinator)
1°		Logic in computer science	Andrea Masini (Coordinator)
1°		Network security	Massimo Merro (Coordinator)
1°		High performance software design in C++	Federico Busato (Coordinator)
1°		Graphics Programming	Umberto Castellani (Coordinator)
1°		Parallel Programming	Nicola Bombieri (Coordinator)
1°		Quantum Computing	Alessandra Di Pierro (Coordinator)
1°		Knowledge representation	Matteo Cristani (Coordinator)
1°		Algorithmic Game Theory	Ferdinando Cicalese (Coordinator)

2°		Advanced Data Base Systems	Alberto Belussi (Coordinator)
2°		Logic	Andrea Masini (Coordinator)
2°		Advanced Operating Systems	Graziano Pravadelli (Coordinator)
2°		Semantic web	Matteo Cristani (Coordinator)

1° 2°		Organization Studies	Giuseppe Favretto (Coordinator)
1° 2°		Automated reasoning	Andrea Masini (Coordinator)