I'm an MMath student in the Programming Languages Group, supervised by Yizhou Zhang. I'm interested in PL and in applying PL to other areas. I'm currently working on language design for scalable, extensible proof engineering.
Previously, I worked in the Programming Languages & Compilers Group at Tweag on Nickel.
Peer-Reviewed Publications
Certified Compilers à la Carte
Modular certified compilers via nested family polymorphism in a proof language
Thesis
An educational programming language with effect handlers
Other Activities
Subreviewer: OOPSLA 2024