Hi! I am currently a postdoc in the Complex geometry and Homotopy type theory group in Heidelberg. Previously, I was lecturer at the International Study Centre of Heidelberg University and before that a Phd student under the supervision of Roman Sauer and later a postdoc at KIT in the Topology and Geometric group theory group and in the RTG “Asymptotic Invariants and Limits of Groups and Spaces”. You might also have met me in Oxford in late 2022.

My research is mainly in geometric group theory, with a focus on homological methods. I care about finiteness properties, Σ-invariants, l²-invariants and group rings and their extensions, particularly their embeddings into skew fields. I also formalise maths using Lean.

More broadly, I like applying algebraic and computational methods to think about geometric problems.

If you would like to write me an email, please use this link.