The focus of our research is on proof theory and in particular on ordinal analysis, reverse mathematics and proof mining. We find it very important to cultivate connections with further approaches from logic (computability, set theory, model theory), with various areas of mathematics (combinatorics, analysis, algebra, etc.) and with other disciplines (computer science, philosophy, etc.).
Further information about research, teaching and our team is available via the entry page of our working group.