Immigration

Introduction to Formal Methods Rocco De Nicola
Quantitative Formal Methods Catia Trubiani
Formal Methods at Work Luca Aceto

Core

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

Immigration

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

Software architecture and beyond Paola Inverardi
Abstraction, modelling e architecting Patrizio Pelliccione
Software testing and dependability Antonia Bertolino

Immigration

Design and Analysis of Algorithms – Fundamentals and Advanced Topics Michele Flammini and Mattia D’Emidio

Core

Computer Security and Cryptography Giuseppe Persiano
Algorithmic Game Theory and Mechanism Design Michele Flammini
Approximation Algorithms and Algorithm Engineering Gianlorenzo D’Angelo and Mattia D’Emidio

</div”>

Advanced courses

Also, we give a set of advanced courses on selected topics of interest, these courses have a seminarial nature and pertain to all research pillars of computer science at GSSI. In the following we list our advanced courses. They will be during the whole academic year.

Test Driven Development (Slides) 24-25 May 2017 Lorenzo Bettini
Software Language Engineering (Slides – Exam Details) 29-31 May 2017 Ralf Lämmel
Advanced Software Analytics (slides) 12-14 June 2017 Massimiliano Di Penta
Beyond Worst-Case Analysis 12-15 June 2017 Luca Trevisan
Testing, Debugging and Program Repairing (with Mined Specifications) (Slides) 20-21 June 2017 Leonardo Mariani
DEECo ecosystem 26-30 June 2017 Tomas Bures
Gossip Algorithms for Information Spreading, Consensus and Community Detection 11-12 July 2017 Andrea Clementi