Commit 4e0a80c2 authored by Dennis Müller's avatar Dennis Müller

fixed typos and URL

parent 97cb9128
Pipeline #1987 passed with stage
in 2 minutes and 29 seconds
......@@ -14,8 +14,8 @@ affiliation: Computer Science, FAU Erlangen-Nürnberg
website: http://blog.logicalphalluses.net/
---
### Description
PostDoc (Thesis 12/2019:
[Mathematical Knowledge Management Across Formal Libraries](http://gl.kwarc.info/supervision/PhD-archive/mueller_dennis/dmueller_phd.pdf))
PostDoc (Thesis 10/2019:
[Mathematical Knowledge Management Across Formal Libraries](https://kwarc.info/people/dmueller/pubs/thesis.pdf))
B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from
University Freiburg.
......@@ -23,7 +23,7 @@ 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 (1/2020-6/2020), working with [Cezary Kaliscyck](http://cl-informatik.uibk.ac.at/cek/).
Currently at University of Innsbruck (12/2019-6/2020), working with [Cezary Kaliszyk](http://cl-informatik.uibk.ac.at/cek/).
### Contact
Email: "d." + lastname.replace("ü","ue") + "@" + this.domain
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment