I recently obtained my PhD in computer science from NYU. I had a privilege to be advised by Thomas Wies. My research interests lie in the areas of program verification and the theory of programming languages. I will be joining Google static analysis team in the summer of 2019.
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.