Skip to content
Snippets Groups Projects
Normal view Permalink
2015-04-01-New-Phd.md 430 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    1 2 
    ---
layout: post
    Tom Wiesing's avatar
    Proper author  
    Tom Wiesing committed
    3 
    author: mkohlhase
    Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    4 5 6 7 8 
    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.