Sono un logico. I miei ambiti di ricerca principali spaziano tra la Teoria della Dimostrazione, la Logica Algebrica e la Filosofia della Logica e della Matematica, e in particolare mi occupo di ragionamento costruttivo.
Insegnamenti attivi nel periodo selezionato: 2.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Corso | Nome | Crediti totali | Online | Crediti del docente | Moduli svolti da questo docente |
---|---|---|---|---|---|
Laurea magistrale in Mathematics | Advanced course in foundations of mathematics (2022/2023) | 6 |
![]() |
1 | |
Laurea in Innovazione e sostenibilità nella produzione industriale di alimenti | Matematica e statistica (2022/2023) | 6 |
![]() |
6 |
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.
Titolo | Data inizio |
---|---|
Reducing complexity in algebra, logic, combinatorics (REDCOM) | 01/01/20 |
A new dawn of Intuitionism: mathematical and philosophical advances | 01/12/17 |
Carica | Organo collegiale |
---|---|
componente | Collegio Didattico di Innovazione e Sostenibilità nella Produzione Industriale di Alimenti - Dipartimento Biotecnologie |
componente | Collegio didattico di Matematica e Data Science - Dipartimento Informatica |
CSS e script comuni siti DOL - frase 9957