Modules running in the period selected: 58.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Software Engineering and Security
Formal methods and theory of security |
Modelli per sistemi ibridi | Studio di modelli per la rappresentazione di sistemi concorrenti che esibiscono comportamenti sia discreti che continui. Uso dei modelli per l'analisi di sistemi distribuiti di controllo. |
Theory of computation
Models of computation |
Modelli stocastici concorrenti | Studio di modelli di concorrenza che includono comportamenti stocastici. Uso di tali modelli per l'analisi di sistemi distribuiti e di protocolli che fanno uso di primitive crittografiche. |
Theory of computation
Models of computation |
Probabilistic Analysis of Security | Static analysis of approximate security properties via Probabilistic Abstract Interpretation |
Software Engineering and Security
Formal methods and theory of security |
Office | Collegial Body |
---|---|
member | Computer Science Department Council - Department Computer Science |
Consiglio della Scuola di Scienze e Ingegneria - Science and Engineering | |
member | Esaminatori ECDL |
presidente di collegio didattico | Computer Science Department Board - Department Computer Science |