menu
New KWARC Ph.D. Student: Dennis Müller by
Prof. Dr. Michael Kohlhase
on
01 Apr 2015
in
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.