Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

2018-09-01-max_rapp.md

Blame
    • 2018-09-01-max_rapp.md 416 B 
    layout: post
author: mkohlhase
title: "New KWARC Ph.D. Student: Max Rapp"
tags: 
   - 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.