Temi di ricerca: Analisi statica di programmi; Programmazione logica; Logica categoriale
Venerdì ore 9:00-11:00 in presenza nel mio ufficio. Soltanto durante il periodo di lezione del primo semstre, anche martedì 16:00-15:00, sempre nel mio ufficio. Altri orari si possono concordare per posta elettronica.
10 Nov 2023
12 Mag 2023
10 Nov 2022
10 Giu 2022
SEDE DI CHIETI
Via dei Vestini,31
Centralino 0871.3551
SEDE DI PESCARA
Viale Pindaro,42
Centralino 085.45371
email: info@unich.it
PEC: ateneo@pec.unich.it
Partita IVA 01335970693