• Worked on Code Migration using LLM and Symbolic Representations.

• Worked on Programming with Representations which aims to redefine software methodology for the generative AI era, enabling professional software teams to process a high volume of changes, faster and better.