Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification


3440 Boelter Hall, UCLA, Los Angeles, CA 90095
lastname cs.ucla.edu

About Me

I am a 3rd year PhD student in the CS Department at UCLA, advised by Professor Todd Millstein. I graduated from IIT Bombay in 2014 with BTech (Honors) in CSE.

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.

Recent News

Oral Qualifying Examination

Talk @ Microsoft Research
(Bengaluru, India)

Internship @ Microsoft
(Redmond, WA)

Paper Presentation @ PLDI'16
(Santa Barbara, CA)

Written Qualifying Examination

[ Archive ]