Models of computation

Alessandra Di Pierro
Associate Professor
Andrea Masini
Full Professor
Massimo Merro
Full Professor
Roberto Segala
Full Professor
Margherita Zorzi
Temporary Assistant Professor
Research interests
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.

Activities

Research facilities

Share