PhD in Computer Sciences

GSSI - Gran Sasso Science Institute

Program Description

PhD in Computer Sciences

GSSI - Gran Sasso Science Institute

The principled development of modern computing systems involves the modeling and management of the interactions between discrete and continuous phenomena, coping with heterogeneous networks efficiently and sustainably, the possibility to access potentially unlimited hardware and software resources, handling of uncertainty, and the need to elaborate in real time massive amounts of data. It is our tenet that meeting these challenges requires one to develop a multidisciplinary knowledge that must be founded on firm modeling and reasoning capabilities. Therefore, the main aim of our Ph.D. studies is to provide students with the opportunity to develop those capabilities and to apply them to research challenges in Computer Science. To this end, we offer our graduate students introductory courses that provide the necessary formal background and specialized courses that introduce students to the newest developments in the areas of Reactive Systems, Software Engineering, and Algorithmic Aspects of Computer and Social Networks.

The Ph.D. program consists of 4 years of study and research. During the first year, students follow a number of courses structured in three main pillars: Foundations of (Modern) Networks, Specification and Analysis of Concurrent Reactive Systems, and Software Systems and Services. Apart from internal GSSI courses, students are encouraged to take classes also at summer schools or at other institutions in Italy or abroad. Each student is asked to prepare, together with the Ph.D. coordinator, a study-plan to be approved by the Scientific Board.

Performance in the exams and quality of the thesis proposal (submitted at the end of the first year) are the main criteria for deciding admission to the second year. The second and third years are mainly dedicated to research. In the development of her/his research, each student is assisted by a supervisor and her/his progress is assessed by a thesis committee consisting of experts in the relevant area of her/his scientific interests. Students are strongly encouraged to spend part of their research studies in external research laboratories in Italy or abroad.

Further information on the Ph.D. program is available at:


Luca Aceto (Reykjavik University, Iceland), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D’Angelo (GSSI), Roberto Di Cosmo (Université Paris Diderot, France), Beniamino Di Martino (Università della Campania “L. Vanvitelli”), Michele Flammini (Chair, GSSI and Università dell’Aquila), Paolo Prinetto (Politecnico di Torino), Luca Trevisan (UC Berkeley and Simons Institute for the Theory of Computing, USA).

The Gran Sasso Science Institute offers 34 Ph.D. fellowships in Physics, Mathematics, Computer Science and Social Sciences.

The Gran Sasso Science Institute (GSSI), founded in 2012 in L’Aquila (Italy) as Center for Advanced Studies of the National Institute for Nuclear Physics (INFN) and then established in March 2016 as a School of Advanced Studies providing post-graduate education, offers 34 Ph.D. positions for the academic year 2018/19.

The GSSI ( invites applications for 10 fellowships in “Astroparticle Physics”, 8 in “Mathematics in Natural, Social and Life Sciences”, 8 in “Computer Science” and 8 in “Urban Studies and Regional Science”. The official language for all Ph.D. courses is English.

The fellowships are awarded for 4 years and their yearly amount is € 16.159,91 gross. All Ph.D. students have free accommodation at the GSSI facilities and use of the canteen.

The application must be submitted through the online form available at by June 20, 2018, at 18.00 (Italian time zone).

For more information, please consult the Call for Applications at or write an email to

Courses Computer Science


  • 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


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

  • Abstraction, modeling 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 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
This school offers programs in:
  • English

Last updated November 16, 2018
Duration & Price
This course is Campus based
Start Date
Start date
Nov. 2019
4 years
Full time
Italy - L'Aquila, Abruzzo
Start date : Nov. 2019
Application deadline Request Info
End date Aug. 1, 2021
Nov. 2019
Italy - L'Aquila, Abruzzo
Application deadline Request Info
End date Aug. 1, 2021