_posts/2015-04-01-New-Phd.md · 49cfef5a68b1487563821c061e040ef7a67807f5 · Richard Marcus / www · GitLab

Snippets Groups Projects

Forked from KWARC / kwarc.info / www

978 commits behind the upstream repository.

7 years ago
177c2a52

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

Unverified
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.