An explanation of my research to non-mathematicians can be found here.
(Pre)prints
Algorithms in 4-manifold topology (pdf)
joint work with Stefan Bastl, Rhuaidi Burke, Rima Chatterjee, Subhankar Dey, Alison Durst, Stefan Friedl, Daniel Galvin, Alejandro García Rivas, Tobias Hirsch, Cara Hobohm, Chun-Sheng Hsueh, Marc Kegel, Frieda Kern, Shun Ming Samuel Lee, Clara Löh, Naageswaran Manikandan, Léo Mousseau, Lars Munser, Mark Pencovitch, Patrick Perras, Mark Powell, José Pedro Quintanilha, Lisa Schambeck, David Suchodoll, Martin Tancer, Annika Thiele, Paula Truöl, Simona Veselá, Melvin Weiß, and Magdalina von Wunsch-Rolshoven
arXiv: 2411.08775 [math.GT]
The algebraic cheap rebuilding property (pdf)
joint work with Kevin Li, Clara Löh, Marco Moraschini and Roman Sauer
arXiv: 2409.05774 [math.GR]
Torsion homology growth and cheap rebuilding of inner-amenable groups (pdf)
arXiv: 2212.07916 [math.GR]
To appear in Groups, Geometry and Dynamics. The DOI is 10.4171/GGD/803.
\(L^2\)-Betti numbers and computability of reals (pdf)
joint work with Clara Löh
(Partial) Implementation in Lean
arXiv: 2202.03159 [math.GR]
Original Publication in Computability, vol. 12, no. 2, pp. 175-201, 2023. The DOI is 10.3233/COM-220416.
Miscellaneous
Amenable Groups in Lean, September 2022 (repository)
Master Thesis
Computability and \(\ell^2\)-Betti Numbers (pdf)
The DOI is 10.5283/epub.51433
(Partial) Implementation in Lean