Topic | Research area |
---|---|
Computability |
Ingegneria del Software e verifica formale
Models of computation |
Lambda Calculus |
Ingegneria del Software e verifica formale
Logic |
Lambda Calculus |
Ingegneria del Software e verifica formale
Models of computation |
modal and temporal logics |
Ingegneria del Software e verifica formale
Logic |
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 |
proof theory, Linear logic, Type theory |
Algebra, Geometria e Logica Matematica
General logic |
Quantitative static analysis |
Ingegneria del Software e verifica formale
Software organization and properties |
Quantum Computation |
Ingegneria del Software e verifica formale
Models of computation |
Quantum computation theory |
Ingegneria del Software e verifica formale
Models of computation |
Semantics of Probabilistic Languages |
Ingegneria del Software e verifica formale
Semantics and reasoning |
Spatial light modulators |
Fisica
Optics |
Spectroscopy, microspectroscopy and imaging in the near and mid-infrared |
Fisica
Infrared spectroscopy |
Teoria della dimostrazione e teoria dei tipi |
Ingegneria del Software e verifica formale
Formal languages and automata theory |
Topological Quantum Computation |
Ingegneria del Software e verifica formale
Models of computation |
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 |
Laboratorio OPDATE | OpDATe Lab (Optical Devices and Advanced Techniques) |
******** CSS e script comuni siti DOL - frase 9957 ********p>