Description

Akademischer Rat / 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 flexiformal mathematics and documents, and applications thereof in higher education (most notably, the adaptive learning system ALeA). Chiefly responsible for the sTeX system and associated tools / worksflows (Flams, RusTeX and everything in FlexiFormal), mathematical knowledge management across systems, libraries, foundations and degrees of formality. Interested in foundations of mathematics and formal languages.

Contact

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