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 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.


Email: “d.” + lastname.replace(“ü”,”ue”) + “@” + this.domain