---
layout: post
author: Michael Kohlhase
title: "New KWARC Ph.D. Student: Dennis Müller"
tags: 
   - announcement
---
We are happy to welcome [Dennis Müller](https://kwarc.info/people/dmueller) 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.