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 of the PhD program in Computer Science, Mathematics and Physics.
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
