From b4c9ff1737567e41c150744fc5df02884c2ceb47 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 10 Oct 2018 09:39:32 +0200
Subject: [PATCH] new phd students

---
 _posts/2018-06-01-jonas.md    | 9 +++++++++
 _posts/2018-09-01-max_rapp.md | 8 ++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 _posts/2018-06-01-jonas.md
 create mode 100644 _posts/2018-09-01-max_rapp.md

diff --git a/_posts/2018-06-01-jonas.md b/_posts/2018-06-01-jonas.md
new file mode 100644
index 0000000..6a5a5d9
--- /dev/null
+++ b/_posts/2018-06-01-jonas.md
@@ -0,0 +1,9 @@
+---
+layout: post
+author: mkohlhase
+title: "New KWARC Ph.D. Student: Jonas Betzendahl"
+tags: 
+   - Announcements
+---
+We are happy to welcome [Jonas Betzendahl](/people/jbetzendahl) to the KWARC group as a new Ph.D. student.
+Jonas received his Master's degrees in Computer Science from the University of Bielefeld; supervised by the KWARC group. He will be working on the [OAF Project](/projects/OAF) on reasoning with undefinedness. 
diff --git a/_posts/2018-09-01-max_rapp.md b/_posts/2018-09-01-max_rapp.md
new file mode 100644
index 0000000..e735d43
--- /dev/null
+++ b/_posts/2018-09-01-max_rapp.md
@@ -0,0 +1,8 @@
+---
+layout: post
+author: mkohlhase
+title: "New KWARC Ph.D. Student: Max Rapp"
+tags: 
+   - Announcements
+---
+We are happy to welcome [Max Rapp](https://kwarc.info/people/mrapp) to the KWARC group as a new Ph.D. student. Dennis received a Masters degree in Mathematics from Freiburg University and will be working on the [OAF Project](http://kwarc.info/projects/OAF), initially importing the PVS library into MathHub.
-- 
GitLab