Skip to content
Snippets Groups Projects
Commit f3a28693 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

parents 5de34e0f 73a9c23c
No related branches found
No related tags found
No related merge requests found
Pipeline #1428 passed
......@@ -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
......@@ -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
......
......@@ -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 %}
......@@ -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>
......
public/images/kamann.jpg

488 KiB

0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment