From 4e0a80c2e74d354ff7f1c1bf78ce1f39074d4c86 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@kwarc.info>
Date: Fri, 17 Jan 2020 17:26:19 +0100
Subject: [PATCH] fixed typos and URL

---
 people/dmueller.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/people/dmueller.md b/people/dmueller.md
index 0ab61e1..c688a47 100644
--- a/people/dmueller.md
+++ b/people/dmueller.md
@@ -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
-- 
GitLab