Doctoral Programme

The principled development of modern computing systems involves the modelling 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 modelling and reasoning capabilities. Therefore, the main aim of our PhD 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 PhD program consists of 3 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 PhD 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 PhD 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)