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
Theory of computation  -  Models of computation
Lambda Calculus Informatica teorica
Theory of computation  -  Logic
Lambda Calculus Informatica teorica
Theory of computation  -  Models of computation
modal and temporal logics Informatica teorica
Theory of computation  -  Logic
Models for Quantum Computation Informatica teorica
Theory of computation  -  Models of computation
Optical techniques for cultural heritage applications Fisica sperimentale applicata
Applied physics  -  Applied physics to cultural heritage
proof theory, Linear logic, Type theory Informatica teorica
Theory of computation  -  Logic
Quantum Computation Informatica teorica
Theory of computation  -  Models of computation
Quantum computation theory Informatica teorica
Theory of computation  -  Models of computation
Spatial light modulators Fisica sperimentale applicata
Condensed matter physics  -  Optics
Spectroscopy, microspectroscopy and imaging in the near and mid-infrared Fisica sperimentale applicata
Condensed matter physics  -  Infrared spectroscopy
Teoria della dimostrazione e teoria dei tipi Informatica teorica
Theory of computation  -  Formal languages and automata theory
Topological Quantum Computation Informatica teorica
Theory of computation  -  Models of computation

Activities

Research facilities