Topic | Research area |
---|---|
Computability |
Informatica teorica
Models of computation |
Lambda Calculus |
Informatica teorica
Logic |
Lambda Calculus |
Informatica teorica
Models of computation |
modal and temporal logics |
Informatica teorica
Logic |
Models for Quantum Computation |
Informatica teorica
Models of computation |
Optical techniques for cultural heritage applications |
Fisica sperimentale applicata
Applied physics to cultural heritage |
proof theory, Linear logic, Type theory |
Informatica teorica
Logic |
Quantum Computation |
Informatica teorica
Models of computation |
Quantum computation theory |
Informatica teorica
Models of computation |
Spatial light modulators |
Fisica sperimentale applicata
Optics |
Spectroscopy, microspectroscopy and imaging in the near and mid-infrared |
Fisica sperimentale applicata
Infrared spectroscopy |
Teoria della dimostrazione e teoria dei tipi |
Informatica teorica
Formal languages and automata theory |
Topological Quantum Computation |
Informatica teorica
Models of computation |