Anno accademico 2024-25:
- Istituzioni di Logica Matematica (con i proff. Carroy e Zambella)
- Complementi di Logica Matematica (con il prof. Zambella)
- Logica Matematica 1
- Algebra 1, corso B (con i proff. Ardizzoni e Ferraguti)
Anno accademico 2023-24:
- Teoria Descrittiva degli Insiemi
- Logica Matematica 1
- Matematica (chimica per la manifattura sostenibile, con il prof. Oliaro)
Anno accademico 2022-23:
- Complementi di Logica (con i proff. Andretta e Viale)
- Logica Matematica 1
- Logica (informatica), corso B
Anno accademico 2021-22:
- Complementi di Logica (con il prof. Andretta)
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Logica (informatica), corso B
Anno accademico 2020-21:
- Complementi di Logica
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
Anno accademico 2019-20:
- Complementi di Logica
- Istituzioni di Logica Matematica (con il prof. Paolini)
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
Anno accademico 2018-19:
- Complementi di Logica
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
- Matematica II (chimica), corso A (con il prof. Buzano)
Anno accademico 2017-18:
- Complementi di Logica
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
- Matematica II (chimica), corso A (con la prof.ssa Bertone)
Anno accademico 2016-17:
- Complementi di Logica (con il prof. Viale)
- Matematica Discreta e Logica (informatica), corso B (con il prof. Mori)
Anno accademico 2015-16:
- Istituzioni di Logica Matematica (con il prof. Andretta)
- Complementi di Logica (con il prof. Zambella)
- Matematica Discreta e Logica (informatica), corso A (con la prof.ssa Roggero)
Anno accademico 2014-15:
- Elementi di logica (con il prof. Zambella)
- Complementi di logica
Slides (parte 1 e parte 2) del corso istituzionale di Teoria degli insiemi, Scuola Estiva di Logica di Gargnano.