Fausto Spoto

Fausto's picture

Associate Professor, Dipartimento di Informatica, Università di Verona, Italy

My research is related to the automatic static analysis of software through abstract interpretation. I'm interested in the analysis of object-oriented programs with dynamic memory management, such as Java and Android programs. I work at the development of automatic techniques for inferring properties of variables, such as nullness, cyclicity and sharing, and of computations, such as termination.


Programmazione I
Programmazione II


A complete list of my publications is available here.

Julia srl

In November 2010 I incorporated Julia srl, a spin-off company of the Università di Verona, together with other reasearchers and managers from Verona, to develop and sell the Julia static analyzer for Java, Java bytecode and Android.

Fausto Spoto
Dipartimento di Informatica, Strada Le Grazie, 15
37134 Verona, Italy
phone: +39 3204352527, fax: +39 (0)458027068
E-mail: fausto DOT spoto AT univr DOT it, Skype: fausto.spoto
Locations of visitors to this page