Description
PostDoc (Thesis 10/2019: Mathematical Knowledge Management Across Formal Libraries)
B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from University Freiburg.
Primarily working on knowledge management across systems, libraries and foundations. Interested in foundations of mathematics and formal languages.
Currently at University of Innsbruck (12/2019-6/2020), working with Cezary Kaliszyk.
Contact
Email: “d.” + lastname.replace(“ü”,”ue”) + “@” + this.domain