Thomas Kahle
Professor of Mathematics
Office: G03-208a
OvGU Magdeburg, FMA
Universitätsplatz 2
39106 Magdeburg
My research is in commutative algebra, combinatorics, and computation with a focus on applications in algebraic statistics.
I am a member of the program committee of the DFG priority program SPP2458 Combinatorial Synergies and PI of the Research Training Group GRK2297 Mathematical Complexity Reduction. Find an overview of my activities here.
My interests include outreach and exploring the interaction of academia and mathematics with society. I regularly post on Mastodon and talk about math in the Eigenraum podcast.
news
| May 04, 2026 |
New blog post: Auto-formalization I: Keep Trying. This is a report on auto-formalizing the 2010 Binomial Edge Ideals paper in Lean. |
|---|---|
| Apr 25, 2026 | New blog post (in German): Wissenschaftskommunikation im Fediverse. A preprint of a contribution for the Mitteilungen der DMV. |
| Apr 10, 2026 | New MFO Snapshot The 4-Sample Theorem on planar graphs with Carlos Améndola. |
| Apr 01, 2026 | Arian Görges joins the group as a new PhD student. |
| Mar 17, 2026 | I started an auto-formalization attempt of our 2010 paper Binomial edge ideals and conditional independence statements on Github. Theorem 1.1. is already formalized in Lean. |