I am a Mathematician. I am currently working at TU Berlin and the Max Planck Insitute in Leipzig.

I have a general interest in mathematics, but I am mainly researching in discrete geometry, real algebraic geometry, geometric rigidity, semi-definite optimization, spectral graph theory, algebraic combinatorics and low-dimensional topology. I am also interested in formalizing mathematics with Lean.

See here for my personal website.