I am a fifth year PhD student in computer science at NYU. I am privileged to be advised by Thomas Wies. My research interests lie in the areas of program verification and the theory of programming languages.
My current research focuses on the systematic design of refinement type systems using abstract interpretation. Previously, I have also worked on formulating and solving the problem of type error localization using SMT solvers. In general, I am interested in making the formal connections between the techniques surrounding type systems and static analyses, allowing for a transfer of technology between the two seemingly different research areas.
I also like to dabble in the problems where verification techniques can be utilized for designing and implementing systems requiring strong privacy and security guarantees.