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 serving as coordinator of the PhD program in Computer Science, Mathematics and Physics (accepted students until 2020). I am a member of the board of the “new” PhD program in Mathematics and Physics (accepting students since 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 2021-22 sono titolare del corso di Logica Matematica per il Corso di Laurea triennale in Informatica e del corso Dalla combinatorica alla metamatematica presso la Scuola Superiore dell’Università di Udine.
Inoltre collaboro al corso di Matematica Discreta per il Corso di Laurea triennale in Informatica (titolare prof. Giuseppe Lancia; io terrò alcune lezioni nel primo semestre).
Il corso di Teoria degli Insiemi per il Corso di Laurea Magistrale in Matematica, tenuto da me in passato, quest’anno è tenuto dal prof. Dimonte.
Il corso di Matematiche Complementari per il Corso di Laurea Magistrale in Matematica, tenuto da me in passato, quest’anno è tenuto dal prof. Panti.
Il corso di Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica negli ultimi anni è stato attivato ad anni alterni e verrà presumibilmente attivato nel 2022-23.
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 previo appuntamento da richiedersi via email. Nella richiesta specificare se si richiede un appuntamento a distanza o in presenza.
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