Pietro Di Gianantonio

Research

Real number computability, semantics of programming languages, lambda-calculus, game semantics, formal proofs.

• Papers
• Projects

Teaching (Didattica)

• Linguaggi di programmazione
• Crittografia
• Semantica dei linguaggi di programmazione
• Semantica e Concorrenza
• Proposte tesi di laurea

Ricevimento

• Orario di ricevimento: giovedì ore 14:30 - 16:00
• Nei mesi di luglio e agosto si consiglia di prendere appuntamento

Contatti

Ufficio:

2° piano, A2 117

Telefono:

+39 0432 558480

Fax:

+39 0432 558499

Email:

pietro.digianantonio at uniud dot it

Indirizzo:

Dipartimento di Scienze Matematiche, Informatiche e Fisiche
Università di Udine
Via delle Scienze, 206
33100 Udine - Italy