Ph.D. Program
Academic Year 2015/2016
Immigration Courses
Design and Analysis of Algorithms – Fundamentals (Michele Flammini)
Design and Analysis of Algorithms – Advanced Topics (Gianlorenzo D’Angelo)
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
Distributed Computing: Algorithms, Fault Tolerance and Related Issues (David Peleg and Shmuel Zaks)
Algorithmic Game Theory and Mechanism Design (Michele Flammini and Stefano Leonardi)
Approximation Algorithms and Algorithm Engineering (Fabrizio Grandoni, Gianlorenzo D’Angelo and Mattia D’Emidio)
Modelling and Verification of Reactive Systems (Rocco De Nicola)
Principles of Model Checking (Michele Loreti)
Performance Modeling (Mirco Tribastone)
Empirical software engineering (Massimiliano Di Penta)
Abstraction, modelling e architecting (Patrizio Pelliccione)
Software testing and dependability (Antonia Bertolino)
Advanced Courses
Green/sustainable software engineering, 20-21 June (Patricia Lago)
Dynamic Graph Algorithms, 13-15 June (Giuseppe F. Italiano)
Quantum Computing, 23-27 May (Luca Trevisan)
Model-based design and analysis of concurrent and adaptive software, 4-8 July (Jeff Kramer)
Systematic Mining Software Repositories, 18-22 July (Harald Gall)
Optimisation of industrial size architecture specifications, 11-25 April (Lars Grunske)
Game Theory with Limited Rationality, 18-21 April (Giuseppe Persiano)
Advances in Quantitative Verification for Software Performance Engineering, 2-6 May (Radu Calinescu)