Hallo!

I am a PhD (Computer Science) student at the Max Planck Institute for Software Systems. I am working in Control Software Systems group, advised by Anne-Kathrin Schmuck.

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 Masters in Computer Science and Bachelors in Mathematics and Computer Science at Chennai Mathematical Institute. Prior to that, I grew up in Odisha and I did my schooling from Rtapalli Vidyapitha.