more info

people/dmueller.md

@@ -5,7 +5,7 @@ title: Dennis Müller
 fullname: M.Sc. Dennis Müller
 pic: public/images/dmueller.jpg
 
-role: phd-student
+role: postdoc
 start_date: 2015-04
 
 publink: auto
@@ -14,9 +14,16 @@ affiliation: Computer Science, FAU Erlangen-Nürnberg
 website: http://blog.logicalphalluses.net/
 ---
 ### Description
-Ph.D. student; primarily working on knowledge management across systems, libraries and foundations. Interested in foundations of mathematics and formal languages.
+PostDoc (Thesis 12/2019:
+[Mathematical Knowledge Management Across Formal Libraries](http://gl.kwarc.info/supervision/PhD-archive/mueller_dennis/dmueller_phd.pdf))
 
-B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from University Freiburg.
+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 (1/2020-6/2020), working with [Cezary Kaliscyck](http://cl-informatik.uibk.ac.at/cek/).
 
 ### Contact
 Email: "d." + lastname.replace("ü","ue") + "@" + this.domain