Hi! I am a PhD student advised by Prof. Jan Křetínský at the Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany.
I am always open to discussions and collaborations -- please write to me at firstname.lastname@tum.de or drop by my office.
My research lies at the intersection of Formal verification and AI. My current focus is on policy synthesis for MDPs and POMDPs, explainable AI. Beyond that, I have a broad interest in constraint optimization, stochastic games, and neural network analysis. dblp, Google Scholar.
Previously, I was a researcher at Tata Research Development and Design Centre (TRDDC), Pune, where I worked with Prof. Kumar Madhukar from 2017 till 2020. Before this, I completed my Master's degree in Computer Science from the Chennai Mathematical Institute, India.