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 interested in mathematical knowledge management across systems, libraries, foundations and degrees of formality (flexiformal mathematics). Interested in foundations of mathematics and formal languages.
Email: “d.” + lastname.replace(“ü”,”ue”) + “@” + this.domain