I contenuti del catalogo per l'a.a. 2022-2023 sono in corso di aggiornamento

Ritratto di adolfo.piperno@uniroma1.it

Anno Accademico 2021-22

COMUNICAZIONI AGLI STUDENTI DEL CORSO DI METODI MATEMATICI PER L'INFORMATICA

IMPORTANTE: Leggete qui le istruzioni COVID.

Per favore iscrivetevi alla Classroom a https://classroom.google.com/c/MTgwMzg2MDQ2NDE1?cjc=zvoky4o.

Le lezioni in presenza si terranno in aula Cabibbo - Dipartimento di Fisica, mentre il link per le lezioni online si trova qui: https://www.phys.uniroma1.it/fisica/strutture/aule. Verrà utilizzata la piattaforma Meet.

L'orario di inizio delle lezioni è:
il lunedì alle ore 8.15
il giovedì alle ore 8.45

Testo adottato: Bagni, Gorla, Labella, Introduzione alla Logica ed al Linguaggio Matematico, McGraw-Hill.


 

Academic Year 2021-22

COMMUNICATIONS TO STUDENTS OF THE COURSE OF MODELS OF COMPUTATION

IMPORTANT: Read the COVID instructions here.

Please join the Classroom at https://classroom.google.com/c/MTQ5NTMzNTM5Njgz?cjc=zdicjd2.

The face-to-face lessons will be held in Aula G50 - Viale Regina Elena 295, while the link for online lessons is https://meet.google.com/kuf-wmpz-ibz.

The starting time for lessons is:
Monday at 16.00
Tuesday at 11.00

Notes for the course: extracts from this and this.


 

 

Insegnamento Codice Anno Corso - Frequentare Bacheca
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2021/2022
METODI MATEMATICI PER L'INFORMATICA 1020420 2021/2022
INFORMATICA GENERALE 1032750 2021/2022
MODELS OF COMPUTATION 1047638 2021/2022
METODI MATEMATICI PER L'INFORMATICA 1020420 2020/2021
MODELS OF COMPUTATION 1047638 2020/2021
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2020/2021
MODELS OF COMPUTATION 1047638 2019/2020
METODI MATEMATICI PER L'INFORMATICA 1020420 2019/2020
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2019/2020
MODELS OF COMPUTATION 1047638 2018/2019
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2018/2019
METODI MATEMATICI PER L'INFORMATICA 1020420 2018/2019
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2017/2018
MODELS OF COMPUTATION 1047638 2017/2018
METODI MATEMATICI PER L'INFORMATICA 1020420 2017/2018
METODI MATEMATICI PER L'INFORMATICA 1020420 2016/2017
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2016/2017
MODELS OF COMPUTATION 1047638 2016/2017

Per appuntamento.

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.