Ph.D. Program

• Design and Analysis of Algorithms – Fundamentals (Mattia D’Emidio)

• Design and Analysis of Algorithms – Advanced Topics (Michele Flammini)

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

• Formal Methods at Work, 10 hours (Luca Aceto)

• Quantitative Formal Methods, 10 hours (Catia Trubiani)

Schoology Access Code: VV98P-SJGR4

• Software Engineering: theory and practice (Paola Inverardi, Ludovico Iovino, Ivano Malavolta)

• Approximation Algorithms (Gianlorenzo D’Angelo)

• Large Graph Mining and Algorithm Engineering (Pierluigi Crescenzi and Mattia D’Emidio)

• Algorithmic Game Theory (Michele Flammini)

• Modelling and Verification of Reactive Systems (Rocco De Nicola and Luca Aceto)

• Principles of Model Checking (Michele Loreti)

• Performance Modeling (Mirco Tribastone)

• Abstraction, modelling and architecting, 31Jan-9Feb (Patrizio Pelliccione)

• Software Architecture and beyond, Feb-Mar (Paola Inverardi, Marco Autili, Massimo Tivoli)

• Software Testing and Dependability, 19Mar-6Apr (Antonella Bertolino)

• Distributed Computing (Pierre Fraigniaud)

• Spanners and oracles for single-source short(est) paths in faulty graphs (Guido Proietti)

• Fairness in allocation problems (Ioannis Caragiannis)

• Advanced Web Search (Ricardo Baeza-Yates)

• Understanding and Taming Feature Interactions (Christian Kastner)

• From Timed Automata to Stochastic Hybrid Games (Kim Guldstrand Larsen)

• Introduction to Software Verification (Omar Inverso)

• Advanced Testing – Tools and methodologies, 14-15 May (Lorenzo Bettini)

• Advanced Software Analytics (Massimiliano Di Penta)

• Service Oriented Design for Sustainability, 25-26 June (Patricia Lago)