Insegnamenti attivi nel periodo selezionato: 31.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Nome | Online |
---|---|
Quantum Computing (35° ciclo - Dottorato in Informatica) | |
Quantum Computing (34° ciclo - Dottorato in Informatica) | |
Summer School On Quantum Languages Design and Implementation (34° ciclo - Dottorato in Informatica) | |
Quantum Computing (34° ciclo - Dottorato in Informatica) |
Argomento | Descrizione | Area di ricerca |
---|---|---|
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 |
Probabilistic Analysis of Security | Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica |
Ingegneria del Software e Sicurezza
Formal methods and theory of security |
Quantitative Static Analysis | Studio di metodi formali per l'analisi quantitativa dei programmi. Estensione delle tecniche classiche di analisi statica (data-flow, control-flow, abstract interpretation, type systems) all'analisi probabilistica e speculativa. |
Ingegneria del Software e Sicurezza
Software organization and properties |
Semantics of Probabilistic Languages | Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. |
Informatica teorica
Semantics and reasoning |
Topological Quantum Computation | Modelli di calcolo basati su sistemi di riscrittura per il Topological Quantum Computing (TQC). Studio di nuove tecniche algoritmiche basate sul modello matematico alla base di TQC. |
Informatica teorica
Models of computation |
Carica | Organo collegiale |
---|---|
componente | Collegio Didattico di Informatica - Dipartimento Informatica |
componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |