Hello!

I’m a Phd student at the Laboratoire d’informatique de l’École polytechnique (LIX), France, where I work under the supervision of Constantin Enea. My research focuses on the formal verification of concurrent programs. I currently work with the Civl verifier.

I hold a Master’s degree in Computer Science from Chennai Mathematical Institute, India and I previously worked as a software engineer at Citrix Systems.