Jonas Höfer
Doctoral Student at
Computing Science
I am a PhD student in the Computing Science division of the Computer Science and Engineering department in the Logic and types unit. My current work is on constructive semantics of homotopy type theory and its extensions.
Source: chalmers.se
There are no publications.
There are no projects.
There might be more projects where Jonas Höfer participates, but you have to be logged in as a Chalmers employee to see them.