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 Professor (Department Culture and Civilisation)
Topic Research area ISI-CRUI
Computability Informatica teorica
Theory of computation  -  Models of computation
Computer Science & Engineering
Lambda Calculus Informatica teorica
Theory of computation  -  Logic
Computer Science & Engineering
Lambda Calculus Informatica teorica
Theory of computation  -  Models of computation
modal and temporal logics Informatica teorica
Theory of computation  -  Logic
Optical techniques for cultural heritage applications Fisica sperimentale applicata
Applied physics  -  Applied physics to cultural heritage
Physics
Probabilistic Analysis of Security Ingegneria del software e sicurezza
Security and privacy  -  Formal methods and theory of security
proof theory, Linear logic, Type theory Informatica teorica
Theory of computation  -  Logic
Quantitative static analysis Ingegneria del software e sicurezza
Software and its engineering  -  Software organization and properties
Quantum Computation Informatica teorica
Theory of computation  -  Models of computation
Computer Science & Engineering
Quantum computation theory Informatica teorica
Theory of computation  -  Models of computation
Computer Science & Engineering
Semantics of Probabilistic Languages Informatica teorica
Theory of computation  -  Semantics and reasoning
Spatial light modulators Fisica sperimentale applicata
Condensed matter physics  -  Optics
Physics
Spectroscopy, microspectroscopy and imaging in the near and mid-infrared Fisica sperimentale applicata
Condensed matter physics  -  Infrared spectroscopy
Physics
Topological Quantum Computation Informatica teorica
Theory of computation  -  Models of computation

Activities

Research facilities