Modules running in the period selected: 64.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.
MyUnivrTopic | 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 |
---|---|
member | PhD Commitee - Department Computer Science |
member | Computer Science Teaching Committee - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |
Coordinator for PhD program in Computer Science | Natural and Engineering Sciences PhD School Council |
CSS e script comuni siti DOL - frase 9957