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.
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 |