dmueller.md

layout: person

title: Dennis Müller
fullname: Dr. Dennis Müller
pic: public/images/dmueller.jpg

role: postdoc
start_date: 2015-04

publink: auto
github: Jazzpirate
orcid: 0000-0002-4482-4912
mathhub: jazzpirate
researchgate: Dennis-Mueller-9

affiliation: Computer Science, FAU Erlangen-Nürnberg

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 interested in mathematical knowledge management across systems, libraries, foundations and degrees of formality (flexiformal mathematics). Interested in foundations of mathematics and formal languages.

Contact

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