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 a member of the editorial board of the journal Computability.
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 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).
Dal 1 ottobre 2023 sono coordinatore del Consiglio Unificato dei Corsi di studio in Matematica, che gestisce il Corso di Laurea Triennale e il Corso di Laurea Magistrale.
Nell'anno accademico 2023-24 sono titolare dei seguenti corsi:
Logica Matematica per il Corso di Laurea triennale in Informatica;
Logica Matematica per il Corso di Laurea triennale in Matematica (in collaborazione con il prof. Parlamento);
Teoria dei wqo e dei bqo e applicazioni presso la Scuola Superiore dell’Università di Udine (in collaborazione con il prof. Puppis).
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 2024-25.
Ricevimento studenti: di persona nel mio studio o su Microsoft Teams; richiedere un appuntamento via email specificando se lo si vuole 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
