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
Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) - Viterbo ASL Viterbo
METODI MATEMATICI PER L'INFORMATICA 1020420 2021/2022
Informatica
INFORMATICA GENERALE 1032750 2021/2022
Matematica
MODELS OF COMPUTATION 1047638 2021/2022
Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2020/2021
Informatica
MODELS OF COMPUTATION 1047638 2020/2021
Computer Science - Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2020/2021
Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) - Viterbo ASL Viterbo
MODELS OF COMPUTATION 1047638 2019/2020
Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2019/2020
Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2019/2020
Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
MODELS OF COMPUTATION 1047638 2018/2019
Computer Science - Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2018/2019
Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
METODI MATEMATICI PER L'INFORMATICA 1020420 2018/2019
Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2017/2018
Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
MODELS OF COMPUTATION 1047638 2017/2018
Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2017/2018
Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2016/2017
Informatica - 26654
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2016/2017
Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
MODELS OF COMPUTATION 1047638 2016/2017
Computer Science - Informatica

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.