Fakultät für Mathematik | Universität Regensburg |
I am a PhD student at the University of Regensburg, supervised by
Prof. Dr. Clara Löh.
I am a member and partially funded by the SFB 1085 "Higher Invariants".
I'm interested in: L^{2}-Betti numbers, log-torsion growth,
simplicial volume,
proof assistants for the working mathematician (especially
Lean)
Invited talks
02.05.2024 | “A dynamical criterion for vanishing homology growth” at AG-Seminar Topologie und Geometrische Gruppentheorie, KIT Karlsruhe |
11.04.2024 | Poster presentation “Inner-amenable groups and homology growth” at Young Geometric Group Theory XII, University of Bristol (Poster) |
21.03.2024 | “Torsion homology growth and cheap rebuilding of inner-amenable groups” at Topological and Homological Methods in Group Theory, University of Bielefeld |
24.11.2023 | “Homology growth and cheap rebuilding of inner-amenable groups” at the Groups, Dynamics and Topology Seminar, Jagiellonian University, Cracow |
10.10.2023 | “From Amenable to Inner-Amenable” Gong Talk at Autumn School on Large Scale Geometry , Universität Göttingen (Slides) |
26.09.2023 | “Amenable Groups in Lean” at the summer school Interactions of Proof Assistants and Mathematics , Universität Regensburg (Slides) |
11.09.2023 | “From Amenable to Inner-Amenable” Lightning Talk at GRAZP Ventotene 2023 (Slides) |
06.12.2022 | “Homology growth of inner amenable groups in degree one” at Oberseminar Topology, Georg-August-Universität Göttingen |
27.09.2022 | “Implementing Amenable Groups in Lean” at the workshop Recent Advances in Bounded Cohomology, University of Regensburg (Lean source code) |
09.05.2022 | “$L^2$ -Betti numbers and computability of reals” at the International young seminar on bounded cohomology and simplicial volume |
24.03.2022 | “Computability of $L^2$ -Betti Numbers” at the Geometry Graduate Colloquium, ETH Zürich |
21.01.2022 | “Computability and $\ell^2$ -Betti Numbers” at Oberseminar Algebra und Geometrie, Heinrich Heine-Universität Düsseldorf |
(Pre)prints
Master's thesis
I wrote my master's thesis “Computability and $\ell^2$ -Betti Numbers” (pdf) under the supervision of Prof. Dr. Clara Löh. Some of the results were implemented using the Lean Theorem Prover. The project can be found here.Miscellaneous
Trivia
Teaching
Short CV
2021 - present | PhD student at the University of Regensburg |
2019 - 2021 | MSc in Mathematics at the University of Regensburg
Master's thesis: “Computability and $\ell^2$ -Betti Numbers” |
09/2019 - 01/2020 | ERASMUS stay at the Université de Bordeaux |
2016 - 2019 | BSc in Mathematics at the University of Regensburg
Bachelor's thesis: “Chromatic Number of Groups” |
Legal Notice
Privacy Policy
Last Updated: Apr 19, 2024