Pietro Di Gianantonio, is Associate Professor in Computer Science at University of Udine. In 1993 he received the Italian Ph.D. degree in computing (Udine, Pisa University, 1993). From 1991 to 2001 he has been Reserch Associate in Computer Science at the University of Udine.
Pietro Di Gianantonio has been visiting scientist at Imperial College (London), Paris VII, Edinburgh University and CWI (Amsterdam). He participated to several UE projects: HCM Lambda Calcul Type, EC Science MASK, Esprit WG Types, he also participated to a number of Italian Projects.
Research interests: semantics of programming languages, games semantics, lambda-calculus, reduction and transition systems, exact real number computation, constructive analysis, proof assistants and proof theory.
**********************************************************************
Pietro Di Gianantonio svolge il ruolo di professore associato In Informatica (Inf01) presso l'Università di Udine. Haricevuto il titolo di Dottorato in Informatica nel 1993, presso il consorzio delle Università di Pisa, Genova e Udine. Dal 1991 al 2001 è stato Ricercatore nell'Università di Udine.
Pietro Di Gianantonio ha svolto attività di ricerca all'estero presso l'Imperial College (Londra), Parigi VII, Università di Edimburgo e CWI (Amsterdam). Ha partecipato a diversi progetti di ricerca UE: HCM Lambda Calcul Type, EC Science MASK, Esprit WG Tipi, ha anche partecipato a numerosi progetti MIUR.
Interessi di ricerca: semantica dei linguaggi di programmazione, semantica dei giochi, lambda-calcolo, sistemi di riduzione e transizione, calcolo esatto sui numeri reali, analisi costruttiva, proof-assistant e teoria della dimostrazione.