The modelling and management of discrete and continuous phenomena, the need to efficiently and sustainably cope with heterogeneous networks, the possibility to access potentially unlimited hardware and software resources, the inherent levels of uncertainty brought by this vision, the need to elaborate in real time a massive amount of data, all require to develop multidisciplinary knowledge that shall be founded on firm modelling and reasoning capabilities. This will be the main aim of our graduate studies with courses that will, on one hand, integrate the necessary formal background and, on the other, offer specialized courses to introduce students to the newest developments in the area of Reactive Systems, Software Engineering and Computer Networks.
The PhD program consists of 3 years of study and research. During the first year students will take a number of courses structured in three main pillars: Foundations of (Modern) Networks, Specification and Analysis of Concurrent Reactive Systems, Software Systems and Services.
Apart from internal GSSI courses, students will be encouraged to take classes also at summer schools or other institutions in Italy or abroad. Each student will be asked to prepare, together with the PhD coordinator, a study-plan to be approved by the Scientific Board.
Performances in the exams and quality of the thesis proposal (submitted at the end of the first year) will be the main criteria for deciding admission to the second year. The second and third years will be mainly dedicated to research. Students will be assisted by a supervisor and their progress will be assessed by an advisory board consisting of experts in the relevant area of their scientific interests. Students will be strongly encouraged to spend part of their research studies in external labs in Italy or abroad.
Further information is available at: http://cs.gssi.infn.it/phd-program/information/