Skip to content
Snippets Groups Projects
Normal view Permalink
2018-09-01-max_rapp.md 416 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new phd students
    Michael Kohlhase committed
    1 2 3 4 5 6 7 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.