Research groups

QUILAB

Claudia Daffara
Assistant Professor
Andrea Masini
Full Professor
Francesca Monti
Associate Professor
Alessandra Di Pierro
Associate Professor
Riccardo Mengoni
PhD student
Margherita Zorzi
Temporary Assistant Professor
Topic Research area
Computability Informatica teorica
Models of computation
Lambda Calculus Informatica teorica
Logic
Lambda Calculus Informatica teorica
Models of computation
modal and temporal logics Informatica teorica
Logic
Models for Quantum Computation Informatica teorica
Models of computation
Optical techniques for cultural heritage applications Fisica sperimentale applicata
Applied physics to cultural heritage
proof theory, Linear logic, Type theory Informatica teorica
Logic
Quantum Computation Informatica teorica
Models of computation
Quantum computation theory Informatica teorica
Models of computation
Spatial light modulators Fisica sperimentale applicata
Optics
Spectroscopy, microspectroscopy and imaging in the near and mid-infrared Fisica sperimentale applicata
Infrared spectroscopy
Teoria della dimostrazione e teoria dei tipi Informatica teorica
Formal languages and automata theory
Topological Quantum Computation Informatica teorica
Models of computation

Activities

Research facilities