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

Snippets Groups Projects

Forked from KWARC / kwarc.info / www

1189 commits behind the upstream repository.

7 years ago
e8b53c19

first skeleton · e8b53c19
Michael Kohlhase authored 7 years ago

e8b53c19

History

first skeleton
Michael Kohlhase authored 7 years ago

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

layout: post
author: Michael Kohlhase
title: "New KWARC Ph.D. Student: Dennis Müller"
tags: 
   - announcement

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.