Universität Bonn

Hausdorff Center for Mathematics

News
Christoph Thiele and Floris van Doorn have been awarded an ERC Synergy Grant of 6.4 million euros
Will it be possible in future to prepare proofs developed in cutting-edge mathematical research with a reasonable amount of human effort so that they can be verified by computers in real time? Christoph Thiele and Floris van Doorn from the Hausdorff Center for Mathematics (HCM), a Cluster of Excellence at the University of Bonn, want to help make this possible. The two researchers submitted a joint application for a coveted Synergy Grant from the European Research Council (ERC). Following the award of the grant, the European Union will now provide total funding of 6.4 million euros to the “Harmonic Analysis with Lean Formalization” (HALF) project over the next six years. Lean is a relatively new programming language that is increasingly establishing itself as the standard for mathematical formalization.
The Research Institute for Discrete Mathematics and IBM intensify cooperation for more powerful processors
IBM and the Research Institute for Discrete Mathematics at the University of Bonn have maintained a close and productive collaboration since 1987. This cooperation was originally initiated by the institute’s long-time director, Bernhard Korte, who sadly passed away in April of this year. The partners have now expanded and intensified their cooperation.
Henning Heller receives the Montucla Prize
Henning Heller, postdoctoral researcher at the Mathematical Institute of the University of Bonn and associate member of the Hausdorff Center for Mathematikcs, receives the prestigious Montucla Prize from the International Commission for the History of Mathematics (ICHM) 2025. The ICHM is composed of representatives from around 55 nations in which the history of mathematics is taught and/or actively researched. The Montucla Prize is awarded every four years to the author of the best article by a early career scholar published in Historia Mathematica in the four years preceding the International Congress of History of Science and Technology.
Bonn again second best university at IMC
At this year's International Mathematics Competition for University Students (IMC) in Blagoevgrad (Bulgaria), held from July 28 to August 3, 2025, the Bonn team finished second in the unofficial team ranking and was thus - as last year - the second most successful university in the world in the competition behind St. Petersburg State University.

>100

PhD Students

>30

ERC Grants

>200

International Guests per Year

Fields Medals                      

Scholze.jpg
© VL

Peter Scholze

MPIM_Faltings.jpg
© MPIM

Gerd Faltings

Leibniz Prizes                         

Rüland.jpg
© VL

Angkana Rüland

Stroppel.jpg
© VL

Catharina Stroppel

Scholze.jpg
© VL

Peter Scholze

Lück.jpg
© VL

Wolfgang Lück

Otto_Felix_small.jpg
© FO

Felix Otto

Müller.jpg
© VL

Stefan Müller

MPIM_Faltings.jpg
© MPIM

Gerd Faltings

Rapoport.jpeg
© MR

Michael Rapoport

Harder.jpg
© GH

Günter Harder

Wird geladen