diff --git a/_posts/2018-06-01-jonas.md b/_posts/2018-06-01-jonas.md new file mode 100644 index 0000000000000000000000000000000000000000..6a5a5d9b69ebe09fc3b65d66b8808a5d041b1a02 --- /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 0000000000000000000000000000000000000000..e735d434774adc56d11a61bccf6967e76028716c --- /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.