Wednesday,
Hours 3:00 PM
- 5:00 PM,
Ca' Vignal 2, Floor 1, room 80
Nei periodi di sospensione per emergenza sanitaria Corona Virus, ricevimento in modalità telematica via Zoom, da concondare per email.
**********
Ogni giovedi' dalle 15 alle 17 Stanza 1.80, Ca' Vignal 2. Si prega di mandare una mail qualche giorno prima per concordare l'appuntamento.
Principali interessi di ricerca:
- Teoria della Dimostrazione.
- Sistemi formali per la descrizione della computazione quantistica
- Teoria dei linguaggi funzionali (sistemi basati sul lambda calcolo) per le computazioni classiche, probabilistiche e non deterministiche
Modules running in the period selected: 28.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Computability | Quantum and probabilistic computability. Implicit Complexity Theory. |
Theory of computation
Models of computation |
Lambda Calculus | Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. |
Theory of computation
Logic |
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 |
modal and temporal logics | Proof theoretical analysis of modal and temporal logics. Modal and temporal logics for security. Distribute logics. Branching a linear temporal logics. |
Theory of computation
Logic |
proof theory, Linear logic, Type theory | Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability. |
Theory of computation
Logic |
Quantum computation theory | Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. |
Theory of computation
Models of computation |
Semantics of Probabilistic Languages | Construction of operational and denotational semantics via linear and abstract algebras. |
Theory of computation
Semantics and reasoning |
Teoria della dimostrazione e teoria dei tipi | Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare |
Theory of computation
Formal languages and automata theory |
Office | Collegial Body |
---|---|
member | PhD Commitee - Department Computer Science |
member | Biotechnology Teaching Committee - Department Biotechnology |
member | Computer Science Teaching Committee - Department Computer Science |
member | Mathematics Teaching Committee - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |