2015-04-01: New KWARC Ph.D. Student: Dennis Müller

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.

News Date: 
Wednesday, April 1, 2015 - 13:05