Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Home Page of Fausto Spoto
[go: Go Back, main page]

Home

Curriculum Vitae

Research

Papers

Teaching

Planned absences

Links

Home Page of Fausto Spoto

Try our automatic termination analyzer for Java and Java bytecode!
It performs an automatic termination analysis of your code
Try our automatic nullness analyzer for Java and Java bytecode!
It finds program points in your code where a NullPointerException might be raised


Locations of visitors to this page

[Page last updated on 6/11/2008.]

Associate Professor. Dipartimento di Informatica, Università di Verona, Italy
I am a former member of
  • Institute de Recherche en Informatique et Systèmes Aléatoires (projet LANDE) of Rennes, France.
  • School of Computing of Leeds, UK
  • Logic Programming Group of Pisa, Italy.
  • Julia, a generic static analyser for the Java bytecode, for termination analysis and nullness analysis.
  • Loop, a localised analyser for object-oriented programs.
    Ricevimento studenti: mercoledì 14:30 - 17:30
    Se volete fare l'erasmus all'isola della Réunion, contattatemi! Ci sono due borse da nove mesi ogni anno!
    Address:

    Fausto Spoto
    Dipartimento di Informatica
    Strada Le Grazie, 15
    37134 Ca' Vignal 2, Verona - Italy
    phone: +39 3204352527, fax: +39 (0)458027068

    fausto.spoto@univr.it

    Fausto's picture

    "Ce que j'aime le plus au monde, c'est la Sicile, vous voyez bien, à condition de dominer l'île et la mer. Java, aussi, mais à l'époque des alizés. D'une manière générale, j'aime toutes les îles. Il est plus facile d'y régner".

    Albert Camus, La Chute, 1956.