Jakob Raumer

  • KIT
  • Exchange at: CMU
  • Advisor: @KIT: Snelting, @CMU: Avigad
  • Type of work: Master Thesis