Prof. Pietro Di Gianantonio
Telefono +39 0432 558480
Stanza: SN1
Sito web personale: http://www.dimi.uniud.it/pietro
Breve curriculum
Laurea in Informatica presso l'Università di Pisa (1987). Diploma di Licenza presso la Scuola Normale Superiore di Pisa (1987).Dottorato in Informatica nell'ambito del Consorzio della Universita' di Pisa, Genova e Udine (1993). Ricercatore Universitario (INF01) presso l'Università di Udine dal 1991 al 2001. Dal 2001 Professore Associato (INF01) presso la Facolta' di Scienze MM FF e NN,
dell'Universita' di Udine dal 1991 al 2001.
************
Degree in computer science at the university of Pisa (1987). PhD in computer science at the university of Pisa (1993). Researcher at the university of Udine from 1991 to 2001. From 2001 associate professor at the university of Udine.
Attivita' di ricerca
Metodi formali, computazione esatta sui numeri reali, lamda calcolo, semantica dei linguaggii di programmazione.***************
Formal methods, real number computation, lambda calculus, semantics of programming languages.
Progetti di ricerca
Current projects: ART (PRIN 2005015824), TYPES (IST-CA-510996).Past projects: DART (IST-2001-33477), "Levi" (40% 1997), TOSCA (COFIN99), COMETA (COFIN01), TYPES (ESPRIT BRA 6453), TYPES (ESPRIT WG 21900), TYPES (IST WG 29001).
