Università
di Udine |
Università
di Udine |
Reverse mathematics
Descriptive Set Theory
Wqo and bqo theory
Computable analysis and the Weihrauch lattice
List of publications (with some preprints and links)
I am currently serving as coordinator both of the “old” PhD program in Computer Science, Mathematics and Physics (accepted students until 2020) and of the “new” PhD program in Mathematics and Physics (will start accepting students in 2021).
I was involved in the organization of Logic Colloquium 2018, held in Udine from July 23 to July 28.
Professore Ordinario di Logica Matematica (MAT/01).
Nell'anno accademico 2020-21 sono titolare dei seguenti corsi:
Logica Matematica per il Corso di Laurea triennale in Informatica;
Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica;
Inoltre collaboro ai corsi di
Logica matematica per il Corso di Laurea triennale in Matematica (titolare prof. Franco Parlamento; io terrò, insieme al prof. Vincenzo Dimonte, le lezioni del secondo semestre);
Matematica Discreta per il Corso di Laurea triennale in Informatica (titolare prof. Giuseppe Lancia; io terrò alcune lezioni nel secondo semestre).
I corsi di Teoria degli Insiemi e Matematiche Complementari per il Corso di Laurea Magistrale in Matematica negli ultimi anni sono stati attivati ad anni alterni e verranno presumibilmente attivati nel 2021-22, quando tacerà il corso di Istituzioni di Logica Matematica.
I seguenti corsi da me tenuti in passato non sono previsti dall'ordinamento attuale. Gli studenti iscritti agli ordinamenti corrispondenti possono però ancora sostenere gli esami:
Elementi di Logica Matematica (3 CFU) per il Corso di Laurea triennale in Informatica ex DM 509/99.
Logica Matematica (primo modulo) per il Corso di Laurea quinquennale in Informatica (vecchio ordinamento).
Ricevimento studenti In seguito all’emergenza covid19 i ricevimenti avvengono solamente in modalità a distanza (email o videochiamata su Microsoft Teams) previo appuntamento da richiedersi via email. Se sarà possibile ripristinare i ricevimenti in presenza comunicherò qui gli orari.
Dipartimento di Scienze Matematiche, Informatiche e Fisiche
Via delle Scienze, 208 -- Loc.
Rizzi
33100 Udine
-- Italy
office: 2nd floor, room NN6
phone: +39 0432 558 482
fax: +39 0432 558 499
e-mail: firstname.lastname at uniud.it
