Hi! I am a final-year PhD student in Computer and Information Science being advised by Prof. Rajeev Alur. My research interests lie at the intersection of Formal Methods and Machine Learning. In particular, I am interested in applying formal methods to improve applicability and reliability of reinforcement learning, verifying systems with neural network components and using neurosymbolic approaches to improve program synthesis and analysis.
I am on the job market this year!
Application material: [Research Statement] [Teaching Statement]
[Diversity Statement] [Slides] [CV]
PhD in Computer and Information Science
University of Pennsylvania
BSc in Mathematics and Computer Science
Chennai Mathematical Institute
Reinforcement Learning (RL) has been shown to be successful in many applications including robotics and game playing. However, existing approaches do not scale well to complex long-horizon tasks such as controlling an autonomous car to navigate a series of turns or stacking multiple blocks using a robotic arm. My research attempts to tackle such problems using techniques from formal methods. More specifically, my work spans across the following themes.