Madhavan Venkatesh

I'm  a postdoc at the Max Planck Institute for Software Systems in Saarbrücken, working in the group of Prof Joël Ouaknine .

 I received my PhD in the CSE Dept at IIT Kanpur, where I worked under the direction of Profs. Nitin Saxena and Manindra Agrawal.