I am currently investigating the automated vulnerability and automated exploit development techniques for my Ph.D. at the Indian Institute of Science Bangalore. I am excited about program analysis and verification, automated reasoning about programs, and symbolic techniques.