Publications

• Primitive Recursive Dependent Type Theory” 2024-03 [LICS 2024] [pdf] [arxiv]
• Draft: “Using Displayed Univalent Graphs to Formalize Higher Groups in Univalent Foundations” 2021-10 [pdf]
• Master Thesis: “Higher Groups via Displayed Univalent Reflexive Graphs in Cubical Type Theory” 2020-10 [pdf]
• Bachelor Thesis: “Structure Results and Generators for Congruence Subgroups and Application to the Weil Representation” 2018-03 [pdf]