May 2023 – Jul 2023 · 2 mos · Gandhinagar, Gujarat, India · On-site

• In my role as a Research Intern working alongside Professor Anuj Tawari, my primary focus revolves around "Detecting bugs in small program runs".
• The central objective of this research endeavor is to validate the algorithm's functionality using testing software, with an emphasis on minimizing the iteration count for extensive inputs and reducing input dimensions.
• This valuable experience is significantly enhancing my proficiency in program analysis and honing my aptitude for effective problem-solving.