Dr. Matthias Uschold
Software Consultant. Mathematician.
Starting December 2025, I will be a Software Consultant at TNG Technology Consulting based in Karlsruhe.
I was a PhD student at the University of Regensburg, supervised by Prof. Dr. Clara Löh. My PhD thesis can be found here. Alternatively, there is an explanation of my research topics to non-mathematicians. You can learn about further aspects of my academic life here.
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.
E-mail: matthias.uschold (at) mathematik.uni-regensburg.de
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", nor anything else.