I am a postdoctoral researcher at the Institute of Science and Technology Austria (ISTA), working with Krishnendu Chatterjee.
My research work is mainly focused on the formal verification and synthesis of cyber-physical systems. I am especially interested in logic, reactive synthesis, and games on graphs.
I completed my PhD in Computer Science at the Max Planck Institute for Software Systems (MPI-SWS), working in the Control Software Systems group under Anne-Kathrin Schmuck. My PhD research focused on utilizing permissive assumptions in logical controller synthesis for cyber-physical systems. You can access my PhD thesis here.
I completed my Masters in Computer Science and Bachelors in Mathematics and Computer Science at Chennai Mathematical Institute. Prior to that, I grew up in Odisha and did my schooling at Rtapalli Vidyapitha.