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: 5.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
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 anche tramite l'app Univr.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
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 |
******** CSS e script comuni siti DOL - frase 9957 ********p>