2017/2018 Courses

Introductory lecture
PRE-Immigration 6th November Introduction to PHD program

For each pillar, the 2017/2018 PhD program is structured as follows
IMMIGRATION 7th November – 22th December Introductory course on the basics, main topics and research trends in the area
CORE Jan – Apr Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges


You can follow this link to access the up-to-date schedule of our courses Courses calendar 2017/2018

In the following we provide the detailed program of each research pillar in Computer Science.



Immigration

Rocco De Nicola, Luca Aceto, Catia Trubiani

Access code: VV98P-SJGR4

Approval Required

Syllabus of the course (30h):

  • Rocco De Nicola: Introduction to Formal Methods (10h)
    • operational, denotational and axiomatic semantics
    • principles of concurrency theory and basic notions of program analysis
  • Luca Aceto: Formal Methods at Work (10h)
    • timed/untimed bisimilarity and language equivalence
    • networks of timed automata and model checking
  • Catia Trubiani: Quantitative Formal Methods (10h)
    • stochastic processes
    • markov chains and stochastic petri nets


Core

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



Immigration

Software Engineering: theory and practice – Paola Inverardi, Ludovico Iovino, Ivano Malavolta


Core

Abstraction, modelling and architecting – Patrizio Pelliccione [31Jan-9Feb]
Software Architecture and beyond – Paola Inverardi [TBA]
Software Testing and Dependability – Antonella Bertolino [19Mar-6Apr]


Advanced

Advanced Testing – Tools and methodologies – Lorenzo Bettini [14-15 May]
Advanced Software Analytics – Massimiliano Di Penta [TBA]
Service Oriented Design for Sustainability – Patricia Lago [25-26 June]



Immigration

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


Core

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


Advanced

Distributed Computing
Pierre Fraigniaud
TBD
Guido Proietti
TBD
Ioannis Caragiannis