About Me

I am a fourth-year Computer Science Ph.D. student in the Analysis of Computer Systems Group at NYU’s Courant Institute of Mathematical Sciences, where I am advised by Professor Patrick Cousot.

My research interests lie in formal methods and static verification, with a focus on abstract interpretations. I am currently working on integrating abstract interpretations with symbolic execution in order to create a symbolic execution abstract domain that over-approximate, rather than under-approximates, program properties.

Past Work

I previously worked on DARPA’s Securing Information for Encrypted Verification and Evaluation project where we sought to optimize zero-knowledge proofs of program executions by using abstract interpretations to unroll programs before translating them into Boolean circuit. This culminated in my Master’s Thesis, “Program Unrolling by Abstract Interpretation for Probabilistic Proofs”.

Before that, as part of my undergraduate studies, I analyzed cascading failures in power grids, under the supervision of Professor Sergey Buldyrev. This work resulted in an undergraduate thesis, “Maximizing the Study of Cascading Failures in Synthetic Electrical Grids”.

Finally, I spent a summer studying how AI methods can be applied to solve partial differential equations with Professor Steven Frankel.