I am currently a post-doctoral researcher at the Department of Computer Science, University of Liverpool with Sven Schewe and Dominik Wojtczak .
My research is in algorithmic game theory and formal verification.
Previously, I was a Teaching and Research Fellow (ATER) at Université Paris Cité affiliated to IRIF.
I completed my PhD from LaBRI, Université de Bordeaux under the supervision of Hugo Gimbert, B. Srivathsan and Olivier Ly.
Before that, I completed my B.Sc in Mathematics and Computer Science and M.Sc in Computer Science from Chennai Mathematical Institute.
