Hi! I'm a PhD student of Computer Science at Indian Statistical Institute. I am fortunate enough to be advised by Sourav Chakraborty and Kuldeep Meel. I am a part of Meelgroup.
My current research interest lies in the intersection of distribution testing and formal verification. I look into applying theory of distribution testing towards building robust verifiers for testing real-world distributions, like, samplers or generative models. Broadly, I am interested in problems that lies in the intersectionof theory and practice.
My research has been recognized and supported by the Google PhD Fellowship (2023-2027).
You can find my CV here .


Publications:

Thesis:

  • Masters' Thesis on Testing of Horn Sampler. (Thesis, Slides)

Awards/Fellowships:

Experience: