I am a 2nd-year Ph.D. student and a Graduate Research Assistant at the Georgia Institute of Technology under the guidance of Dr. Suguman Bansal in the field of Formal Methods and Reinforcement Learning. My research is centered around the fusion of Formal Methods and Reinforcement Learning techniques with the overarching goal of creating advanced AI systems that can enhance the scalability and efficiency of Reinforcement Learning methods. In essence, my work aims to bridge the gap between Formal Methods, which provide rigorous mathematical guarantees, and Reinforcement Learning, which excels in learning from interactions with the environment. By integrating these two domains, I aspire to develop AI solutions that are not only robust and reliable but also possess the capability to generalize across unseen instances during the training period, ultimately contributing to the scalability and efficiency of the algorithm.

During my undergraduate studies, I interned at Newcastle University in partnership with the Max Planck Institute, working under the supervision of Dr. Sadegh Soudjani and Dr. Arabinda Ghosh to develop Reinforcement Learning solutions for addressing challenges associated with stochastic max-plus linear systems.