Program Analysis, Synthesis and Verification
3440 Boelter Hall, UCLA, Los Angeles, CA 90095
My research focuses on developing practical solutions for helping programmers build reliable software with verified guarantees. Currently I am exploring data-driven techniques for generating likely program specifications and inductive invariants.
Previously I have interned with Dr. Sumit Gulwani in the PROSE group at Microsoft, on pattern-based type inference for unstructured data. While at IIT Bombay, I have worked with Professor Amitabha Sanyal on lazy static slicing of functional programs, with Professor Uday Khedker on machine descriptions in GCC and have interned with Professor Wolf-Tilo Balke at IFIS, TU-Braunschweig on a comparative analysis of text similarity measures.