Laboratorio di ricerca "Laboratorio SPY"

Edificio
Ca' Vignal 2
Indirizzo
Strada Le Grazie, 15 - 37134 Verona
Piano
-2
Stanza
S139
Responsabile
Roberto Giacobazzi
Telefono
+39 045 8027995
Dipartimento
Dipartimento di Informatica
Scuola
Scuola di Scienze e Ingegneria

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

Mappa


Organizzazione

Strutture del dipartimento