New generation computing: Emerging global communication and service infrastructures are progressively changing the classical view of computing, thanks to the introduction of the social and collaborative platforms typical of web 2.0, to ubiquitous systems, to peer-to-peer networks, and to the distributed access to resources and services in cloud computing systems. This curriculum aims to address the computational aspects related to the efficiency in the use of resources, and in the design and management of services in these systems, resorting on the theory of algorithms and computational complexity, operations research and combinatorial optimization. In addition, it intends to model and analyze the consequences of autonomous users’ behavior on the system performance, integrating algorithmic ideas with techniques borrowed from Economy and Game Theory, in particular for characterizing stable or equilibrium solutions that are consistent with the presence of entities not subject to a centralized control. Finally, an issue of interest concerns the evaluation of the influence of social relationships among users on the overall efficiency of the system.
The research topics tackled in this curriculum can be partitioned in three main areas, that are: Software Architecture, Model-Driven Engineering, Intelligent Systems. Around the concept of Software Architecture, several research topics are taken, which go from automated synthesis of architectural connectors, through functional (e.g. testing, model checking) and non-functional (e.g. performance, reliability) analysis of software, to (run-time) verification and validation. These topics are applied to different domains, such as Service-Oriented and Self-Adaptive Systems. The research on model-driven engineering focuses on different forms of automated co-evolution in modeling ecosystems (e.g. metamodel/models, metamodel/transformations), bidirectionality in model transformations with an emphasis on non-bijective mappings, and model differences/versioning. Research in the Intelligent Systems Area concerns various fields of Artificial Intelligence and Computational Logic, in particular Artificial Agents (languages and formalisms, Complex Event Processing, run-time self-checking), Agent-based Cognitive Robotics, Learning and Evolving Agents. Advanced applications range from intelligent energy systems to bioinformatics and adaptive control.
The PhD Program in ICT offers a graduate school of excellence around major topics in Information and Communication Technology, with particular emphasis on “pervasive ICT infrastructures”.
The XXX Cycle PhD Program in ICT is organized along the following curricula: (By visiting each curriculum it is possible to see all the Research areas): Curriculum 1: System Engineering,
Maria Domenica Di Benedetto (Coordinator) Arbib Claudio Autili Marco Caianiello Pasquale Caravani Paolo Cassioli Dajana Cicerone Serafino Cortellessa Vittorio Costantini Stefania Della
Academic The PhD program will leverage the tight interaction of DEWS and DISIM with world-wide renowned schools of excellence focused on Pervasive ICT such as University of California at Berkeley,
Within this PhD program, the following courses have been offered: Academic Year: 2012/2013 Advanced courses: EECI Graduate School: “Specification, Design, and Verification of Distributed
Claudio COLAMARINO Antonio DI FRANCESCO Juri DI ROCCO Lucien ETIENNE Alessio IOVINE Stefano LEUCCI Luca NUBILE Raffaele OLIVIERI Giovanni PALOMBO Gianni ROSA Alessio