|
||
| Fakultät für Mathematik | Universität Regensburg |
Matthias Uschold
Universität Regensburg
93040 Regensburg
Germany
E-mail: matthias.uschold (at) mathematik.uni-regensburg.de
Office: M 205
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: L2-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
-
Torsion homology growth and cheap rebuilding of inner-amenable groups
(pdf)
arXiv: 2212.07916 [math.GR]
To appear in Groups, Geometry and Dynamics. -
$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.
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
- Implementation of Amenable Groups in Lean, September 2022
Trivia
- You can communicate with me in the following languages: German, French, English, Italian
- If you're a (former/present/future) student at the University of Regensburg, please commence your e-mail with “Dear Matthias” or something equivalent. There's no need to write “Dear Professor”, “Sir”, “To whom it may concern”, “Your Royal Highness”, etc.
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