Hi! I'm a PhD student of Computer Science at Indian Statistical Institute. I am fortunate 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 intersection of 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:
Awards/Fellowships:
Experience: