Martin Winter, PhD

I am a mathematician. I am member of the Nonlinear Algebra group at the Max-Planck-Institute for Mathematics in the Sciences in Leipzig and principal investigator in the priority program Combinatorial Synergies.

My research is in discrete geometry, real algebraic geometry, geometric rigidity, semi-definite optimization, spectral graph theory, algebraic combinatorics and low-dimensional topology. Most recently I am studying the Wachspress Geometry of convex polytopes. I am also working on the formalization of polyhedral geometry in Lean (see the work in progress on GitHub).

Until 2025 I was Dirichlet fellow at TU Berlin. Before I was postdoc at the University of Warwick (UK). I got my PhD from TU Chemnitz (Germany) in 2021.

What’s new

What’s coming

Selected publications

I am an active user of the StackExchange network. Here are links to my mathematical profiles: