Matthias Uschold
PhD student. Mathematician.
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.
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.