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.
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