Tuesday,
Hours 2:30 PM
- 5:30 PM,
Ca' Vignal 2, Floor 1, room 53
In caso di mia assenza presso lo studio, inviate una email!
Modules running in the period selected: 50.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Static Analysis | Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. |
Software Engineering and Security
Software organization and properties |
Formal software and application security | Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. |
Software Engineering and Security
Software and application security |
Code protection | Development of formal techniques and tools for the protection of software. |
Software Engineering and Security
Formal methods and theory of security |
Program semantics | Development of semantic models for characterizing security and analysis problems of programming languages |
Theory of computation
Semantics and reasoning |
Code synthesis | Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. |
Software Engineering and Security
Software creation and management |
Office | Collegial Body |
---|---|
member | Council of the PhD School in Computer Science A.Y. 2018/2019 - Department Computer Science |
member | Collegio Didattico di Informatica - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |
Consiglio della Scuola di Scienze e Ingegneria - Science and Engineering | |
department director | Academic Senate |