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

new phd students

parent 197eb5fa
No related branches found
No related tags found
No related merge requests found
---
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.
---
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.
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