Jakob von Raumer

  • KIT
  • Exchange at: CMU
  • Advisor: @KIT: Prof. Snelting @CMU: Prof. Avigad/Prof. Awodey
  • Type of work: Master Thesis
  • Topic of work: Homotope Type Theory and Formalization of Mathematics
  • Exchange from to: WS 2014/15