Ph.D. Program
Academic Year 2016/2017
Immigration Courses
Design and Analysis of Algorithms – Fundamentals and Advanced Topics (Michele Flammini and Mattia D’Emidio)
Introduction to Formal Methods (Rocco De Nicola)
Quantitative Formal Methods (Catia Trubiani)
Formal Methods at Work (Luca Aceto)
Introduction to the course (Paola Inverardi)
Software engineering principles and research, software architecture, collaborative development (Ivano Malavolta)
Model-based design and the Eclipse IDE (Ludovico Iovino)
Software testing and dependability (Antonia Bertolino)
Core Courses
Computer Security and Cryptography (Giuseppe Persiano)
Algorithmic Game Theory and Mechanism Design (Michele Flammini and Nicole Immorlica)
Approximation Algorithms and Algorithm Engineering (Gianlorenzo D’Angelo and Mattia D’Emidio)
Modelling and Verification of Reactive Systems (Rocco De Nicola)
Principles of Model Checking (Michele Loreti)
Introduction to Software Verification (Omar Inverso)
Performance Modeling (Mirco Tribastone)
Software architecture and beyond (Paola Inverardi)
Abstraction, modelling e architecting (Patrizio Pelliccione)
Software testing and dependability (Antonia Bertolino)
Advanced Courses
Test Driven Development, 24-25 May 2017 (Lorenzo Bettini) [Slides]
Software Language Engineering, 29-31 May 2017 (Ralf Lämmel) [Slides] [Exam Details]
Advanced Software Analytics, 12-14 June 2017 (Massimiliano Di Penta) [Slides]
Beyond Worst-Case Analysis, 12-15 June 2017 (Luca Trevisan)
Testing, Debugging and Program Repairing (with Mined Specifications), 20-21 June 2017 (Leonardo Mariani) [Slides]
DEECo ecosystem, 26-30 June 2017 (Tomas Bures)
Gossip Algorithms for Information Spreading, Consensus and Community Detection, 11-12 July 2017 (Andrea Clementi)