About Me

I am a third year Computer Science PhD student in the Analysis of Computer Systems Group at NYU Courant, advised by Thomas Wies.

My research interests include formal methods and verification, automated reasoning, and programming languages. I'm especially excited by cloud- and security-relevant questions. Recently, I've been working with refinements: applications to probabilistic proofs, and refinement proof automation.

This summer, I'll be doing research at Nokia Bell Labs, supervised by Kedar Namjoshi.

I received a B.A. in Mathematics from Macaulay Honors College at Queens College.

I was lucky to do research in pure and applied mathematics when I was an undergraduate. I built the first systematic catalog of crystallographic sphere packings at the Rutgers DIMACS REU in summer 2018, mentored by Alex Kontorovich. Then, I studied stable paths of continuous deformations of elastic rods under gravity at the Cornell REU in summer 2019, mentored by Andy Borum.

Here's my CV for more details.