From a95a1f34e0cedfb6af33da08a190fd8fa700923d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@kwarc.info>
Date: Mon, 25 Jul 2022 21:25:52 +0200
Subject: [PATCH] update

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

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