Hardik Chadha is a B.Tech and M.S dual-degree student in Computer Science and Engineering at the International Institute of Information Technology, Hyderabad (IIITH). He is currently conducting research at the Software Engineering Research Center (SERC) Lab under the guidance of Prof. Abhishek Kr Singh. His work focuses on Trustworthy Automated Programming, with the goal of reducing ambiguity in AI-generated code by aligning natural language intent with formal specifications.
Originally from Jalandhar, Punjab, he completed his schooling at Innocent Hearts School, Green Model Town. Outside of academics, he has represented his state in Table Tennis at the National Level and has a strong interest in sports. He is also deeply fascinated by the field of space exploration.