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.


 

 

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.

Insegnamento Codice Anno Corso - Frequentare
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
MODELS OF COMPUTATION 1047638 2021/2022 Computer Science - Informatica
INFORMATICA GENERALE 1032750 2021/2022 Matematica
METODI MATEMATICI PER L'INFORMATICA 1020420 2021/2022 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
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 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 2019/2020 Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2019/2020 Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2018/2019 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
MODELS OF COMPUTATION 1047638 2018/2019 Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2017/2018 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 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
Titolo Rivista Anno
Conflict vs causality in event structures ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2019
Isomorphism test for digraphs with weighted edges 2018
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2015
Dipartimento
INFORMATICA
SSD

INF/01