Publications

(2025). Differential geometry of synthetic schemes. ArXiv preprint.

PDF Cite

(2025). Châtelet’s theorem in synthetic algebraic geometry. ArXiv preprint.

PDF Cite

(2024). A foundation for synthetic Stone duality. ArXiv preprint.

PDF Cite

(2022). Cubical models are cofreely parametric. PhD Thesis.

PDF Cite

(2019). Toward a cubical type theory univalent by definition. Internship report.

PDF Cite

(2018). Quasi-categories and complete Segal spaces. Master thesis.

PDF Cite

(2017). Expansion proofs for arithmetic. Internship report.

PDF Cite

(2017). Finitary higher inductive types in the groupoid model. MFPS.

PDF Cite