Abgeschlossene Projekte
DFG-Sonderforschungsbereiche
- TR 12: Symmetries and Universality in Mesoscopic Systems
DFG-Schwerpunktprogramme
- 1154: Globale Differentialgeometrie
- 1489: Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
DFG-Graduiertenkollegs
- Logik in der Informatik (1997-2007)
- Mathematik im Bereich ihrer Wechselwirkung mit der Physik (1993-2002)
Internationale Forschungsnetzwerke
- ESF Research Network Interactions of Low-Dimensional Topology and Geometry with Mathematical Physics (2009-2014)
- EST Programme MathLogAps (2004-2008)
- Computer-Assisted Reasoning based on Type Theory (TYPES) (2004-2008)
- Applied Semantics II (APPSEM) (2003-2006)
- EU Network Analysis & Quantum (2002-2006)
- International Quality Network (2001-2004)
- European Differential Geometry Endeavour (EDGE) (2000-2004)
- EU Network on Partial Differential Equations and Quantum Mechanics (1996-2001)