Modules running in the period selected: 41.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Formal methods for security analysis of cyber-physical systems | Development of formal, and possibly automated, methods for the security analysis of cyber-physical systems and IoT systems |
Software Engineering and Security
Formal methods and theory of security |
Models for concurrent, distributed, and mobile systems | Process calculi for concurrent, distributed, and mobile systems. More recently, process calculi for cyber-physical systems and IoT systems |
Theory of computation
Models of computation |
Semantics of concurrent, distributed, and mobile systems | Semantics of concurrent, distributed, and mobile computations. Associated with these semantic theories come specification techniques and verification technologies for assuring the behaviour of systems |
Theory of computation
Semantics and reasoning |
Verification of wireless network protocols | Semantics-based and model-checking techniques for the verification of wireless network protocols |
Software Engineering and Security
Software organization and properties |
Office | Collegial Body |
---|---|
coordinatore del corso di dottorato | Council of the PhD School in Computer Science A.Y. 2018/2019 - Department Computer Science |
component | Collegio Didattico di Informatica - Department Computer Science |
component | Computer Science Department Council - Department Computer Science |
coordinatore del corso di dottorato | Natural and Engineering Sciences PhD School Council |
component | Computer Science Department Board - Department Computer Science |