I am a B.Tech. CSE student at IIIT Hyderabad, currently working as an undergraduate researcher at SERC on Trustworthy Automated Programming. My interests lie in building reliable AI systems, program verification, property-based testing, and AI-assisted software development.