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. |
CSS e script comuni siti DOL - frase 9957