Temi di ricerca: Analisi statica di programmi; Programmazione logica; Logica categoriale
Mercoledì ore 9:00-11:00, o in presenza nel mio ufficio oppure on-line su questa riunione Teams. Altri orari si possono concordare per posta elettronica. Attenzione: chi intende svolgere il ricevimento on-line deve preventivamente concordarlo con il docente tramite posta elettronica.
19 Lug 2024
27 Giu 2024
10 Nov 2023
12 Mag 2023
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