Press and Media

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.