Felix Wellen
Dr. rer. nat. Karlsruher Institut für Technologie (KIT) 2017
Dissertation:
Formalizing Cartan Geometry in Modal Homotopy Type Theory
Advisor 1: Frank Herrlich
Advisor 2: Urs Schreiber
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 261284 for the advisor ID.