Home

I was a PhD student between 2024 and 2026 under the supervision of Jana Wagemaker at the department of software science at the Radboud University. My research interests include formal methods in computer science. My master’s thesis has been in foundational computer science and category theory under the supervision of Paige North. The thesis concerns itself with the functorial nature of the enrichment of the category of algebras in the category of coalgebras as displayed in Coinductive control of inductive datatypes.

Writings

• Continuous Algebras with Hypotheses (2026), joint with Damien Pous and Jana Wagemaker. [arXiv]
• Functoriality of Enriched Data Types (2025), joint with Paige North and Maximilien Peroux. [arXiv]
• The Functorial Nature of Enriched Data Types (2024), Master’s Thesis under supervision of Paige North. [pdf]
• Measuring Data Types (2024), joint with Paige North and Maximilien Peroux. [arXiv]
• Classifying Vector Bundles (2020), Bachelor’s Thesis under supervision of Jack Davies. [pdf]