Gruppi di ricerca

QUILAB

Il gruppo QUILAB (Quantum Informatics Laboratory) riunisce fisici e informatici impegnati nella ricerca sugli aspetti fondamentali della computazione quantistica, algoritmi quantistici ed elaborazione quantistica dell’informazione.
 
Referenti
Alessandra Di Pierro

Claudia Daffara
Ricercatore
Andrea Masini
Professore ordinario
Francesca Monti
Professore associato
Alessandra Di Pierro
Professore associato
Riccardo Mengoni
Dottorando
Margherita Zorzi
Professore a contratto (Dipartimento Culture e Civiltà)
Argomento Area di ricerca 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
Spettroscopia, micro-spettroscopia e imaging nel vicino e medio infrarosso. Fisica sperimentale applicata
Condensed matter physics  -  Infrared spectroscopy
Physics
Topological Quantum Computation Informatica teorica
Theory of computation  -  Models of computation

Attività

Strutture