Hello! I'm Apiros3, and welcome!

I am currently in my 3rd year of undergraduate studies in Mathematics and Computer Science at Merton College, University of Oxford.
My current interests are:

• Dependent Types
• Higher Inductive Types / Infinity Categories
• General Denotational Semantics
• Homotopy Type Theory

My studies are mostly focused on areas tied to Programming Languages, Algebra, and Topology.

I'm currently working under Professor Nobuko Yoshida as research assistant in the Mobility Reading Group, at the University of Oxford since June 2024. This summer, I hope to make self-contained notes that explain datatypes of functional programs from a higher-inductive / infinite category perspective. My Thesis next year will be on Linear Logic and Dependent Types, supervised by Maximilian Doré.

In the past I've attended MGS2024, MGS2025, so you might have seen me there!

You can usually find my CV here.
To see what I've studied / what I plan to study, look here!