Models of computation

Persone con competenze nell'area
Competenze

Davide Bresolin: Incaricato alla ricerca
Alessandra Di Pierro: Professore associato
Andrea Masini: Professore ordinario

Massimo Merro: Professore ordinario
Roberto Segala: Professore ordinario
Margherita Zorzi: Ricercatore a tempo determinato

Competenze
Argomento	Persone	Descrizione
Computability	Andrea Masini Margherita Zorzi	Quantum and probabilistic computability. Implicit Complexity Theory.
Lambda Calculus	Alessandra Di Pierro Margherita Zorzi	Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività.
Modelli per sistemi ibridi	Davide Bresolin Roberto Segala	Studio di modelli per la rappresentazione di sistemi concorrenti che esibiscono comportamenti sia discreti che continui. Uso dei modelli per l'analisi di sistemi distribuiti di controllo.
Modelli stocastici concorrenti	Roberto Segala	Studio di modelli di concorrenza che includono comportamenti stocastici. Uso di tali modelli per l'analisi di sistemi distribuiti e di protocolli che fanno uso di primitive crittografiche.
Models for concurrent, distributed, and mobile systems	Massimo Merro	Calcoli di processo per sistemi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Piu' di recente, calcoli di processo per sistemi ciberfisici e sistemi IoT.
Quantum computation theory	Andrea Masini Margherita Zorzi	Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction.
Topological Quantum Computation	Alessandra Di Pierro	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.