Research
Real number computability, semantics of programming languages, lambda-calculus, game semantics, formal proofs.
Teaching (Didattica)
Ricevimento
- Orario di ricevimento mercoledì ore 14:00 - 15:30.
- Oppure su appuntamento (email : pietro.digianantonio at uniud.it).
Per il ricevimento nei mesi di luglio e agosto è consigliabile prendere un appuntamento.
- office:
- 2nd floor, room 1, Stecca Nord,
- phone:
- +39 0432558480,
- fax:
- +39 0432558499,
- email:
- pietro.digianantonio at uniud dot it
- address:
-
Dipartimento di Matematica e Informatica
Università di Udine
Via delle Scienze, 206
33100 Udine - Italy
