Topic | People | Description |
---|---|---|
Computability |
Andrea Masini
Margherita Zorzi |
Quantum and probabilistic computability. Implicit Complexity Theory. |
Lambda Calculus |
Alessandra Di Pierro
Margherita Zorzi |
Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity. |
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
|
Process calculi for concurrent, distributed, and mobile systems. More recently, process calculi for cyber-physical systems and IoT systems |
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
|
Re-writing systems for Topological Quantum Computation (TQC) and study of new algorithmic techniques based on the mathematical model of TQC. |
******** CSS e script comuni siti DOL - frase 9957 ********p>