ADOLFO PIPERNO

Anno Accademico 2026-27
COMUNICAZIONI AGLI STUDENTI DEL CORSO DI METODI MATEMATICI PER L'INFORMATICA
Per favore iscrivetevi alla Classroom cliccando QUI.
Le lezioni si terranno in aula 3 - Via del Castro Laurenziano 7A.
L'orario di inizio delle lezioni è: Lunedì alle 11:00, Giovedì alle 8:30.
Testo adottato: Bagni, Gorla, Labella, Introduzione alla Logica ed al Linguaggio Matematico, McGraw-Hill.
 
Academic Year 2026-27 
COMMUNICATIONS TO STUDENTS OF THE COURSE OF MODELS OF COMPUTATION
Please join the Classroom HERE.
The starting time for lessons is:
Monday at 08:30 in room T1 Regina Elena building E
Thursday at 14:30 in room T1 Regina Elena building E
Notes for the course: extracts from this and this.
 
 

Laurea in Matematica (1986). Dottorato in Ingegneria Informatica (1991, 3°ciclo).
Ricercatore dal 1991 (K05B), Professore Associato dal 1998 (INF/01), Dipartimento di Informatica.

La ricerca di Adolfo Piperno è stata principalmente nel campo dei metodi formali in informatica,
concentrandosi in particolare sulla programmazione funzionale, lambda-calcolo e teoria dei tipi.
Ulteriori aree di interesse di ricerca includono l'ambito degli algoritmi per disegno di grafi.
Attualmente l'attività di ricerca di Adolfo Piperno si svolge nell'ambito del problema dell'isomorfismo
di grafi, con particolare attenzione ai suoi aspetti pratici.