I am a PhD Candidate at the Department of Computer Science at University of Massachusetts, Amherst. My advisors are Prof. Neil Immerman and Prof. Shlomo Zilberstein. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithm-like plans. Follow the links on the left to learn more about my research!
Before starting my graduate studies, I spent three years with Veritas Software, understanding eventually that I wanted to learn a lot, lot more! Before joining Veritas, I completed my undergraduate studies at IIT Kanpur, India.