Temi di ricerca: Analisi statica di programmi; Programmazione logica; Logica categoriale
martedì ore 16:00-18:00 in presenza nel mio ufficio (viale Pindaro 42, scala verde, 1° piano, stanza numero 34)
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