I am a B.Tech and M.S dual-degree student in Computer Science and Engineering at the International Institute of Information Technology, Hyderabad (IIIT Hyderabad). I am currently conducting research at the Software Engineering Research Center (SERC) under the guidance of Prof. Abhishek Kr Singh.
My research lies at the intersection of Formal Methods, Program Verification, and Programming Languages, with a current focus on fuzzing and model checking for concurrency under weak memory models. I am also exploring directions in Trustworthy Automated Programming, which aims to enhance the reliability of AI-generated code by aligning natural language intent with formal specifications through synthesis and verification techniques such as Syntax-Guided Synthesis (SyGuS).
I am originally from Jalandhar, Punjab, where I completed my schooling at Innocent Hearts School, Green Model Town. Beyond academics, I have represented my state at the National Level in Table Tennis and remain deeply interested in science, technology, and space exploration.