Research Laboratory "Laboratorio SPY"

Block
Ca' Vignal 2
Address
Strada Le Grazie, 15 - 37134 Verona
Floor
-2
Room
S139
Manager
Roberto Giacobazzi
Telephone
+39 045 8027995
Department
Department Computer Science

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

Places of interest


Organization

Department facilities

Share