Giulio Fellin

Foto-2,  September 11, 2022
Position
Temporary Professor
Academic sector
MATH-01/A - Mathematical Logic
Research sector (ERC-2024)
PE1_1 - Logic and foundations

E-mail
giulio|fellin*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Office hours: only by appointment via e-mail

I’m a logician. My main interests are Proof Theory, Algebraic Logic and the Philosophy of Logic and Mathematics, especially Constructive Reasoning.

Modules

Modules running in the period selected: 9.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Bioinformatics Linear algebra and analysis [Matricole pari] (2026/2027)   12    ALGEBRA LINEARE
Master's degree in Mathematics Algebraic Geometry (2025/2026)   6  eLearning METHODS OF ALGEBRAIC GEOMETRY
COMMUTATIVE ALGEBRA
Bachelors' degree in Innovation and sustainability in the industrial production of food Mathematics and statistics (2025/2026)   6  eLearning
Bachelors' degree in Innovation and sustainability in the industrial production of food Mathematics and statistics (2024/2025)   6  eLearning
Master's degree in Mathematics Advanced course in foundations of mathematics (2023/2024)   6  eLearning
Bachelors' degree in Innovation and sustainability in the industrial production of food Mathematics and statistics (2023/2024)   6  eLearning
Master's degree in Mathematics Advanced course in foundations of mathematics (2022/2023)   6  eLearning
Bachelors' degree in Innovation and sustainability in the industrial production of food Mathematics and statistics (2022/2023)   6  eLearning

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Research groups

Logica
Logica in matematica ed informatica.
Projects
Title Starting date
Reducing complexity in algebra, logic, combinatorics (REDCOM) 1/1/20
A new dawn of Intuitionism: mathematical and philosophical advances 12/1/17




Organization

Department facilities

Share