Talks & Events

Talks with resources

• October 2025: Slides for a talk presenting our formalization project on low-dimensional solvable Lie algebras at the 18th Conference on Intelligent Computer Mathematics in Brasília.
• July 2025: A SageMath Jupyter notebook and accompanying LiE files used at a software demo (Lie theory and branching in LiE and SageMath) which I gave at the Problem-Solving Workshop Computational Geometric Analysis at CUNY.
• December 2023: Minimal Submanifolds in Spheres. Notes for a lecture at a seminar on submanifolds in Stuttgart.

Recorded talks & interviews

• July 2023: Einstein Spaces and Special Geometry, Institut Mittag-Leffler
• May 2023: Virtual Seminar on Geometry with Symmetries
• July 2021: Mathematical Congress of the Americas
• Click here for an interview (in German) with baby-me from 2018.

For a list of all research talks I’ve given, check out my CV.

Past events

• September 2024: Co-organized the Semi-LƎⱯN-ear, a student seminar about formalizing mathematics with LƎⱯN.
• October 2023: Co-hosted The Crazy World of Arthur L. Besse, a workshop on Einstein manifolds.
• September 2023: Co-organized a student seminar about tensors, the Sesquinar.