giacobazzi
univrit
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: 54.
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 |
