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.
Previously, I worked in the Programming Languages & Compilers Group at Tweag on Nickel.
Peer-Reviewed Publications
PLDI 2025
Certified Compilers à la Carte
Extensible, modular compiler proofs via new proof-assistant abstractions.
[ full paper | TR | doi | Rocqet ]
Thesis
An educational programming language with effect handlers
Other Activities
Subreviewer: OOPSLA 2024