Gruppi di ricerca

Quantum Informatics Laboratory - QUILAB

Il gruppo di ricerca QUILAB comprende ricercatori di informatica e fisica che collaborano nello studio degli aspetti fondamentali dell'informatica quantistica e delle sue applicazioni nell’ambito dell'intelligenza artificiale.
 

URL
https://quilab.github.io

Claudia Daffara
Professore associato
Andrea Masini
Professore ordinario
Francesca Monti
Professore associato
Alessandra Di Pierro
Professore associato
Massimiliano Incudini
Dottorando
Margherita Zorzi
Professore associato
Componenti esterni
Stefano Mancini
Universita' di Camerino
Argomento Area di ricerca
Computability Algebra, Geometria e Logica Matematica
Models of computation
Computability Algoritmi, Logica e teoria della computazione
Models of computation
Computability Ingegneria del Software e verifica formale
Models of computation
Lambda Calculus Algebra, Geometria e Logica Matematica
Logic
Lambda Calculus Algoritmi, Logica e teoria della computazione
Logic
Lambda Calculus Ingegneria del Software e verifica formale
Logic
Lambda Calculus Algebra, Geometria e Logica Matematica
Models of computation
Lambda Calculus Algoritmi, Logica e teoria della computazione
Models of computation
Lambda Calculus Ingegneria del Software e verifica formale
Models of computation
modal and temporal logics Algebra, Geometria e Logica Matematica
Logic
modal and temporal logics Algoritmi, Logica e teoria della computazione
Logic
modal and temporal logics Ingegneria del Software e verifica formale
Logic
Models for Quantum Computation Algebra, Geometria e Logica Matematica
Models of computation
Models for Quantum Computation Algoritmi, Logica e teoria della computazione
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
Probabilistic Analysis of Security Ingegneria del Software e verifica formale
Formal methods and theory of security
proof theory, Linear logic, Type theory Algebra, Geometria e Logica Matematica
Logic
proof theory, Linear logic, Type theory Algoritmi, Logica e teoria della computazione
Logic
proof theory, Linear logic, Type theory Ingegneria del Software e verifica formale
Logic
Quantitative Static Analysis Sicurezza informatica
Software organization and properties
Quantitative Static Analysis Ingegneria del Software e verifica formale
Software organization and properties
Quantum Computation Algebra, Geometria e Logica Matematica
Models of computation
Quantum Computation Algoritmi, Logica e teoria della computazione
Models of computation
Quantum Computation Ingegneria del Software e verifica formale
Models of computation
Quantum computation theory Algebra, Geometria e Logica Matematica
Models of computation
Quantum computation theory Algoritmi, Logica e teoria della computazione
Models of computation
Quantum computation theory Ingegneria del Software e verifica formale
Models of computation
Semantics of Probabilistic Languages Algebra, Geometria e Logica Matematica
Semantics and reasoning
Semantics of Probabilistic Languages Algoritmi, Logica e teoria della computazione
Semantics and reasoning
Semantics of Probabilistic Languages Ingegneria del Software e verifica formale
Semantics and reasoning
Spatial light modulators Fisica
Optics
Spettroscopia, micro-spettroscopia e imaging nel vicino e medio infrarosso. Fisica
Infrared spectroscopy
Teoria della dimostrazione e teoria dei tipi Algebra, Geometria e Logica Matematica
Formal languages and automata theory
Teoria della dimostrazione e teoria dei tipi Algoritmi, Logica e teoria della computazione
Formal languages and automata theory
Teoria della dimostrazione e teoria dei tipi Ingegneria del Software e verifica formale
Formal languages and automata theory
Topological Quantum Computation Algebra, Geometria e Logica Matematica
Models of computation
Topological Quantum Computation Algoritmi, Logica e teoria della computazione
Models of computation
Topological Quantum Computation Ingegneria del Software e verifica formale
Models of computation
Nome Descrizione
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)

Attività

Strutture

Condividi