About Me
I'm currently a second-year PhD student in FP Lab at the University of Nottingham, supervised by Prof. Thorsten Altenkirch. I obtained my master's degree in 2023 at Imperial College London, Department of Computer Science, under the supervision of Prof. Nicolas Wu.
I'm generally interested in type theory, category theory, and functional programming.
Writings & Talks
- Containers in Higher Kinds — TYPES 2026, Gothenburg, Sweden