update

people/dmueller.md

@@ -11,7 +11,6 @@ start_date: 2015-04
 publink: auto
 
 affiliation: Computer Science, FAU Erlangen-Nürnberg
-website: http://blog.logicalphalluses.net/
 ---
 ### Description
 PostDoc (Thesis 10/2019:
@@ -20,10 +19,10 @@ PostDoc (Thesis 10/2019:
 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.
+Primarily interested in mathematical knowledge management across systems, libraries,
+foundations and degrees of formality (flexiformal mathematics). 
+Interested in foundations of mathematics and formal languages.
 
-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