Snippets Groups Projects

2015-04-01-New-Phd.md

7 years ago
177c2a52

Make posts nicer · 177c2a52
Tom Wiesing authored 7 years ago

177c2a52

History

Make posts nicer
Tom Wiesing authored 7 years ago

2015-04-01-New-Phd.md 431 B

layout: post
author: mkohlhase
title: "New KWARC Ph.D. Student: Dennis Müller"
tags: 
   - Announcements

We are happy to welcome Dennis Müller 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, initially importing the PVS library into MathHub.