I am a second-year PhD student in the Department of Computer Science at the University of Toronto, advised by Ningning Xie. I'm interested in programming languages and formal verification. I completed my master's at the University of Waterloo in the Programming Languages Group, advised by Yizhou Zhang. My work focused on modularizing the proofs of realistic certified compilers such as CompCert. Before that, I worked at Tweag on Nickel.