Matthias Uschold

PhD student. Mathematician.

Photo by Stefan Friedl

About Me

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". Research interests:

\(L^2\)-Betti numbers
Torsion homology growth
Simplicial Volume and Bounded Cohomology
Proof assistants (especially Lean)

Short CV

2021 - Now

PhD student

Master of Science, Mathematics

University of Regensburg

Master thesis: "Computability and \(\ell^2\)-Betti Numbers" (pdf).

I implemented some of my results in the Lean Theorem Prover. The implementation can be found here.

09/2019 - 01/2020

ERASMUS stay

Bachelor of Science, Mathematics

University of Regensburg

Bachelor thesis: "Chromatic Number of Groups" (get).

Contact

Universität Regensburg
93040 Regensburg
Germany

E-mail: matthias.uschold (at) mathematik.uni-regensburg.de
Office: M 205

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.