Pietro Di Gianantonio

Professore associato
Email: pietro.digianantonio@uniud.it
Stanza: SN1
Telefono: +39 0432 558480

Sito personale: 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.

Attività 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).

Aree di ricerca della matematica

  • Logica Matematica

Aree di ricerca dell'informatica

  • Fondamenti dell'informatica
  • Metodi formali e applicazioni