Modules running in the period selected: 33.
Click on the module to see the timetable and course details.
Name | Online |
---|---|
Quantum Computing (35° ciclo - PhD in Computer Science) | |
Quantum Computing (34° ciclo - PhD in Computer Science) | |
Summer School On Quantum Languages Design and Implementation (34° ciclo - PhD in Computer Science) | |
Quantum Computing (34° ciclo - PhD in Computer Science) |
Topic | 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 | Collegio Didattico di Informatica - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |