My research interest lies in building better SAT and SMT solvers. Moreover, I look into using these solvers in solving cryptographic problems.
Earlier, in 2019-'20, I was an intern at Meel Research Group, National University of Singapore. Even before that, I used to study Theoretical Computer Science and work on Software Verification at Chennai Mathematical Institute, India.
I have a personal site, which I do not maintain, you can find it here.