Ph.D. Program

Algorithm Design – Fundamentals, 16 hours (Michele Flammini)

Algorithm Design – Advanced Topics, 14 hours (Gianlorenzo D’Angelo)

Introduction to Formal Methods, 10 hours (Rocco De Nicola)

Quantitative Formal Methods, 10 hours (Catia Trubiani)

Formal Methods at Work, 10 hours (Luca Aceto)

Introduction to the course, 2 hours (Paola Inverardi)

Software engineering principles and development process, 4 hours (Ivano Malavolta)

Research in software engineering, 2 hours (Ivano Malavolta)

Model-based design, 8 hours (Guglielmo De Angelis)

Software architecture, 4 hours (Ivano Malavolta)

Modern development paradigms, 4 hours (Ivano Malavolta)

Software testing and dependability, 6 hours (Antonia Bertolino)

Analysis of Complex Networks, March and May (Pierluigi Crescenzi)

Algorithmic Game Theory, March (Michele Flammini and Edith Elkind)

Distributed Algorithms and Algorithm Engineering, March (Pierre Fraigniaud and Gianlorenzo D’Angelo)

Modelling and Verification of Reactive Systems, January (Rocco De Nicola)

Principles of Model Checking, February (Michele Loreti)

Performance Modeling, April (Mirco Tribastone)

Empirical and search-based software engineering, 20-30 January (Massimiliano Di Penta)

Cyber-physical systems and sensor networks, 20-30 April (Luca Mottola)

Software testing and analysis, 13-17 April (Alex Orso)