diff --git a/people/dmueller.md b/people/dmueller.md index 68e66c6c3632091ca5c108059e41d3d38ba52d40..5d059c8da573fdaca7d24e9932a7a89126420904 100644 --- a/people/dmueller.md +++ b/people/dmueller.md @@ -13,6 +13,10 @@ publink: auto 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. + +B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from University Freiburg. ### Contact -Email: "d." + lastname.replace("ü","ue") + "@" + this.domain \ No newline at end of file +Email: "d." + lastname.replace("ü","ue") + "@" + this.domain diff --git a/people/kamann.md b/people/kamann.md index 4a9670b2c09ecc087ddb6f7c7922c897187ee307..194aa8be4e5586f0bf7bf0c69985296b9a772399 100644 --- a/people/kamann.md +++ b/people/kamann.md @@ -3,7 +3,7 @@ layout: person title: Kai Amann fullname: Kai Amann -SOONpic: public/images/dmueller.jpg +pic: public/images/kamann.jpg role: bachelor-student start_date: 2018-02 diff --git a/people/meta/current.html b/people/meta/current.html index 60d4e469d90f56dcb1f94cba03e2db8a3fc16016..f3093ead06859bb3c8ec9d3580aa0e5d50dbe145 100644 --- a/people/meta/current.html +++ b/people/meta/current.html @@ -7,7 +7,7 @@ permalink: /people/ {% assign people = site.pages | where: "layout", "person" | where_exp: "person", "person.end_date == null" | sort: "start_date" %} -<p>This page lists the current members of the KWARC group (<a href="people/formee/">former +<p>This page lists the current members of the KWARC group (<a href="/people/former/">former members</a>).</p> {% include people_list.html people=people %} diff --git a/people/meta/former.html b/people/meta/former.html index ab43c003e077bb10eb602cf17e5c7f372b20c996..61a9dd6877ec5c285c4b92866539e6ebd1161842 100644 --- a/people/meta/former.html +++ b/people/meta/former.html @@ -7,7 +7,7 @@ permalink: /people/former/ {% assign people = site.pages | where: "layout", "person" | where_exp: "person", "person.end_date != null" | sort: "start_date" %} -<p>This page lists the former members of the KWARC group (<a href="people/">current +<p>This page lists the former members of the KWARC group (<a href="/people/">current members</a>). We are very proud of our alumni; if you are one, please keep in touch. </p> diff --git a/public/images/kamann.jpg b/public/images/kamann.jpg new file mode 100644 index 0000000000000000000000000000000000000000..2e5018282bf4f2510be8feaca467cfa820397137 Binary files /dev/null and b/public/images/kamann.jpg differ