I miei interessi e la mia attività di ricerca si concentrano nell'ambito dell'informatica teorica.
I temi specifici si possono riassumere come segue:
Modules running in the period selected: 44.
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 |
---|---|---|
Lambda Calculus | Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity. |
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 |
Quantitative static analysis | Study of formal methods for quantitative analysis of programs. Extension of classical program analysis techniques (data-flow, control-flow, abstract interpretation,type systems)to probabilistic and speculative analysis for program optimisation and transformation. |
Software Engineering and Security
Software organization and properties |
Semantics of Probabilistic Languages | Construction of operational and denotational semantics via linear and abstract algebras. |
Theory of computation
Semantics and reasoning |
Topological Quantum Computation | Re-writing systems for Topological Quantum Computation (TQC) and study of new algorithmic techniques based on the mathematical model of TQC. |
Theory of computation
Models of computation |
Office | Collegial Body |
---|---|
member | Computer Science Teaching Committee - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |
CSS e script comuni siti DOL - frase 9957