Director: Mirco Tribastone
Current trends in society show an increasing pervasiveness of information and communication technologies into our lives, as witnessed by the growing popularity of mobile, portable, and wearable devices, as well as by the massive shift toward equipping everyday objects with computational and networking capabilities. The integration of computing devices and physical processes leads to the emergence of new cyber-physical systems that exhibit intricate dependencies between parts of inherently different nature. These systems pose very challenging and fundamental questions of both methodological and technological nature. Their successful engineering and operation requires a novel holistic interdisciplinary approach, combining fundamental research at least in the following domains: synthesis and verification of highly concurrent computing systems; data-driven modeling, control and optimization of large-scale dynamical systems; modeling and simulation of smart interfaces and materials for advanced sensing and energy harvesting; analysis of massive quantities of data, such as imaging data.
The CSSE curriculum provides the doctoral student with a solid interdisciplinary background to analyze cyber-physical systems and provide solutions to a huge variety of complex engineering problems. The program of studies is based on a set of common courses, covering the fundamentals of numerical linear algebra and numerical methods for differential equations, computer programming, dynamical systems and control, numerical optimization, stochastic processes, and machine learning. These basic courses are followed by a number of advanced courses and research seminars related to the different areas of specialization for the PhD work.
Research in computer science deals with the development of languages, models, algorithms, and verification methods for modern distributed systems. In particular, we focus on cutting-edge research on adaptive systems, automated verification, cloud computing, cyber security, dynamical systems, mobile systems, and performance evaluation.
Research in control systems is oriented towards identification and optimization-based control of dynamical systems, with an emphasis on real-time embedded optimization algorithms for control of stochastic, distributed, and large-scale dynamical systems, and their application in industrial problems arising from the automotive, aerospace, and smart-grid domains.
Research in computational mechanics is concerned with the development of innovative computational methods to study advanced problems of solid mechanics, fluid mechanics, and cutting-edge problems involving multiple fields and length scales of high interest in both the academic and industrial sectors.
Input and Output Profiles
Perspective students should preferably have a master-level background in computer science, engineering, physics, mathematics, statistics, or in a related field.
The CSSE curriculum prepares researchers and professionals that are able to analyze and propose constructive solutions to several real-life problems of industrial, economic, and societal interest, making them qualified to work in high-profile professional roles within universities, research centers, and companies.
Research Units contributing to the track
Ph.D. students also have the opportunity to collaborate with other institutions that work with IMT Research Units.
See full course list