Models of computation

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 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.

Attività

Strutture

Condividi