About Me

I am a fourth 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 formal methods applied to distributed systems. My current work focuses on correctness for live updates to distributed systems. I'm also working on a language for constructing verifiable smart contracts, which I began at Nokia Bell Labs. I am immensely fortunate to collaborate with Kedar Namjoshi for both of these projects.

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

I was lucky to do mathematics research when I was an undergraduate. I worked with Alex Kontorovich at the Rutgers DIMACS REU, and then with Andy Borum at the Cornell REU.

Here's my CV for more details.