Research groups

  1. Home
  2. Research
  3. Research groups
  4. The Quantum Informatics Laboratory - QUILAB

The Quantum Informatics Laboratory - QUILAB

The group brings together researchers from computer science and physics to work on fundamental issues in quantum computation, quantum information and quantum artificial intelligence.
URL
https://quilab.github.io

Claudia Daffara
Associate Professor
Andrea Masini
Full Professor
Francesca Monti
Associate Professor
Alessandra Di Pierro
Associate Professor
Massimiliano Incudini
PhD student
Margherita Zorzi
Associate Professor
External components
Stefano Mancini
Universita' di Camerino
Topic Research area
Physics Education and History of Physics Applied Physics
Lambda Calculus Ingegneria del Software e Verifica Formale
Models of computation
Models for Quantum Computation Ingegneria del Software e Verifica Formale
Models of computation
Optical techniques for cultural heritage applications Fisica
Applied physics to cultural heritage
Probabilistic Analysis of Security Sicurezza informatica
Formal methods and theory of security
Quantum Computation Ingegneria del Software e Verifica Formale
Models of computation
Semantics of Probabilistic Languages Ingegneria del Software e Verifica Formale
Semantics and reasoning
Spectroscopy, microspectroscopy and imaging in the near and mid-infrared Fisica
Infrared spectroscopy
Proof theory, Linear logic, Type theory Algebra, Geometria e Logica Matematica
General logic
Name Description
Laboratorio SPY (Metodi Formali)

The SPY (Static Program analysis by Abstract Interpretation) lab is devoted to the design and development of automatic tools
based on formal methods and abstract interpretation theory for program analysis, automatic program certification, system testing,
and security analysis of software. We are particularly interested in the application of these techniques to aid in the compilation and
implementation of programming languages. The access to the lab is restricted to the students in Master and PhD thesis and to the
Faculty staff of the Department of Computer Science in Verona. The following is a list of topics which are studied in this Lab:
Semantics and abstract interpretation theory, Semantics based program analysis, Security analysis, Program and system certification,
Model checking and program verification, Programming environments, Domain specific languages and tools.
Laboratorio OPDATE OpDATe Lab (Optical Devices and Advanced Techniques)

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share