Dr. Dennis Müller
Postdoc, KWARCie since April 2015
Computer Science, FAU Erlangen-Nürnberg


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