I'm a postdoc at the Max Planck Institute for Software Systems in Saarbrücken, working in the group of Prof Joël Ouaknine .
Previously, I was PhD student in the CSE Dept at IIT Kanpur, and worked under the direction of Profs. Nitin Saxena and Manindra Agrawal.