menu
New KWARC Ph.D. Student: Max Rapp by
Prof. Dr. Michael Kohlhase
on
01 Sep 2018
in
Announcements

We are happy to welcome Max Rapp 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.