Curriculum Vitae
Research Interests
Publications
For students... (in italian)
Links
Pictures
Other Interests
``There are more things in heaven and earth, Horatio, than are dreamt of in our philosophy''. [William Shakespeare, Hamlet]
Dipartimento di Informatica - Facolta' di Scienze MM. FF. e NN. - Universita' di Verona
e-mail: mastroeni@sci.univr.it
Member of Lab (Static Program Analysis by Abstract Interpretation) and of the Formal methods group in Verona.