Hours 2:30 PM
- 4:30 PM,
Ca' Vignal 2, Floor 1, room 63A
I’m a logician. My main interests are Proof Theory, Algebraic Logic and the Philosophy of Logic and Mathematics, especially Constructive Reasoning.
Modules running in the period selected: 2.
Click on the module to see the timetable and course details.
|Course||Name||Total credits||Online||Teacher credits||Modules offered by this teacher|
|Master's degree in Mathematics||Advanced course in foundations of mathematics (2022/2023)||6||1|
|Bachelors' degree in Innovation and sustainability in the industrial production of food||Mathematics and statistics (2022/2023)||6||6|
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.MyUnivr
|Reducing complexity in algebra, logic, combinatorics (REDCOM)||1/1/20|
|A new dawn of Intuitionism: mathematical and philosophical advances||12/1/17|
|member||Innovation and sustainability in the industrial production of food Teaching Committee - Department Biotechnology|
|member||Collegio didattico di Matematica e Data Science - Department Computer Science|