I am a PhD student at Rutgers University - New Brunswick. My research focuses on building intelligent agents that are high-performing, formally verified for safety, and interpretable using reinforcement learning algorithms. Our works have been published in top conferences such as PLDI, CAV and TACAS. I have strong programming skills using Python and C++ along with a solid foundation in CS fundamentals. I also have experience in developing backend server and database applications.