zorzi
univrit
martedì,
Ore 14.00
- 16.00,
Ca' Vignal 2, piano 1, stanza 80
Ogni martedi' dalle 14 alle 16 Stanza 1.80, Ca' Vignal 2. Si prega di mandare una mail qualche giorno prima per concordare l'appuntamento.
Per le persone lavoratrici: mandare una email per concordare eventuali orari alternativi.
Nei periodi di sospensione per emergenza sanitaria Corona Virus, ricevimento in modalità telematica via Zoom, da concondare per email.
Curriculum EN
(pdf, it, 217 KB, 07/06/22)
Ph.D Course "Type Theory and Programming Languages"
(pdf, it, 80 KB, 17/12/18)
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
Insegnamenti attivi nel periodo selezionato: 28.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Computability | Quantum and probabilistic computability. Implicit Complexity Theory. |
Informatica teorica
Models of computation |
| Lambda Calculus | Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. |
Informatica teorica
Logic |
| Lambda Calculus | Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. |
Informatica teorica
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. |
Informatica teorica
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. |
Informatica teorica
Logic |
| Quantum computation theory | Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. |
Informatica teorica
Models of computation |
| Semantics of Probabilistic Languages | Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. |
Informatica teorica
Semantics and reasoning |
| Teoria della dimostrazione e teoria dei tipi | Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare |
Informatica teorica
Formal languages and automata theory |
