Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

2015-04-01-New-Phd.md

Blame
    • Forked from KWARC / kwarc.info / www
    963 commits behind the upstream repository.
    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.