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