Courses Computer science

IMMIGRATION COURSES

Reactive Systems - Luca Aceto, Rocco De Nicola, Catia Trubiani
Software systems and services – Ludovico Iovino, Ivano Malavolta, Paola Inverardi
Design and Analysis of Algorithms - Mattia D’Emidio, Michele Flammini

CORE COURSES 

Modelling and Verification of Reactive Systems - Luca Aceto, Rocco De Nicola
Principles of Model Checking - Michele Loreti
Performance Modeling - Mirco Tribastone

Abstraction, modelling and architecting – Patrizio Pelliccione 
Software Architecture and beyond – Paola Inverardi, Massimo Tivoli, Marco Autili
Software Testing and Dependability – Antonella Bertolino

Approximation Algorithms - Gianlorenzo D’Angelo
Algorithm Engineering and Analysis of Complex Networks - Mattia D’Emidio and Pierluigi Crescenzi
Algorithmic Game Theory - Michele Flammini

ADVANCED COURSES
Advanced Testing – Tools and methodologies – Lorenzo Bettini 
Advanced Software Analytics – Massimiliano Di Penta 
Feature Interactions from Multiple Perspectives - Christian Kästner 
From Timed Automata to Stochastic Hybrid Games - Kim Guldstrand Larsen
Software Verification - Omar Inverso
Distributed Computing - Pierre Fraigniaud