About

I'm a third-year PhD candidate in the Programming Languages group at Princeton's Computer Science department. I'm currently advised by Prof. Aarti Gupta, but also work with Prof. Dave Walker.
My primary focus in the programming languages domain is the automated verification of computer networks using compositional reasoning, but I also enjoy working on problems in programming language design and compiler optimization. Prior to starting graduate school, I worked on research projects in the computational linguistics and digital humanities fields.

I completed my BSc at the University of Toronto in 2018 in computer science and English; I received my MA from Princeton University in 2020.

I've benefitted greatly from the advice and wisdom of others in pursuing my academic career and am happy to return the favour, so please feel free to get in touch if you have questions about grad school (and apologies in advance if it takes me some time to respond).

Research

Publications

Teaching

I have also tutored with the Prison Teaching Initiative at Princeton University.

Miscellaneous Links