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

TBD




Immigration

Paola Inverardi, Antonella Bertolino, Ludovico Iovino, Ivano Malavolta

Access code: 6VFM5-8K49N

Approval Required

Syllabus of the course (30h):

  • Paola Inverardi: Software Engineering in practice (4h)
    • TBD
  • Ivano Malavolta: Software Architectures and methodologies (10h)
    • TBD
  • Ludovico Iovino: Model Driven Engineering (12h)
    • TBD
  • Antonella Bertolino: Software Testing and Dependability (4h)
    • the general concepts and techniques of software testing,
    • main approaches for dependability and security validation, and
    • most interesting research challenges.


Core

TBD



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 Gianlorenzo D’Angelo, Mattia D’Emidio and Pierluigi Crescenzi
Algorithmic Game Theory Michele Flammini