Computer Science and Systems Engineering
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; and modeling and simulation of smart interfaces and materials for advanced sensing and energy harvesting.
The CSSE Track 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. We carry out research on cutting-edge topics that span several areas such as automated verification, cloud computing, cyber-security, concurrency theory, dynamical systems, performance evaluation and stochastic modeling, programming languages, self-adaptive systems, and software engineering.
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 the 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, with special focus on fracture mechanics, contact mechanics, computational materials science, and computational chemistry. A particular attention is given to cutting-edge problems involving multiple fields and length scales, of high interest in both the academic and industrial sectors for the design of durable materials and components.
Input and Output Profiles
Perspective students should preferably have a master-level background in computer science, engineering, physics, materials science, mathematics, statistics, or in a related field.
The CSSE Track 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