Daniel Wessel

wessel,  May 3, 2019
Research Scholarship Holders
Academic sector
  • pdf   CV   (pdf, en, 147 KB, 26/08/20)
  • pdf   Publications   (pdf, en, 63 KB, 27/05/22)


Modules running in the period selected: 1.
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 (2018/2019)   6  eLearning (Teoria 2)

News for students

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.


Research groups

INdAM - Research Unit at the University of Verona
We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
Logica in matematica ed informatica.
Research interests
Topic Description Research area
Hilbert's Programme for Abstract Mathematics Extracting the computational content of classical proofs in conceptual mathematics. Particular attention is paid to invocations of logical completeness in mathematical form, typically as variants of Zorn's Lemma. Discrete and computational mathematics
Mathematical logic and foundations
Proof theory and constructive mathematics Proof theory at large studies mathematical proofs, which thus become themselves objects of mathematics. In a nutshell, the goal is to understand "what can be proved with what" and to gain computational information from proofs. Constructive mathematics aims at direct proofs from which one can read off algorithms; any such algorithm comes with a certificate of correctness for free, which just is the original proof. Discrete and computational mathematics
Mathematical logic and foundations
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
CATLOC - Categorical localisation: methods and foundations 3/1/17


Department facilities