- Currently lead researcher on a new project to develop reinforcement learning algorithms capable of formalized reasoning and theorem proving.

- Main researcher and first author of research paper submitted for review to NeurIPS 2024.- Developed a novel reinforcement learning (RL) algorithm capable of provably satisfying arbitrary safety constraints in complex environments, outperforming SOTA approaches to provably safe RL.- Created and presented the project proposal to the research group and defined research objectives. Implemented and evaluated the core algorithm on a variety of benchmarks. Discovered non-trivial theoretical results on algorithm performance and wrote exhaustive proofs of results.

- Conducted research on program synthesis for a novel Regex-based language called SemRegex, capable of handling queries based on semantic information. Second author of the research paper. The paper is accepted to OOPSLA, the flagship conference for programming languages.- Optimized the SemRegex engine running efficiency by a factor of 100 to ensure practical usability. Implemented better search tactics for the program synthesizer, improving its speed by a factor of 5.

- Helped develop CI/CD platform by writing automated testing software in Javascript. Utilized Cypress and Cucumber frameworks to write the tester.- Frequently presented demos and overall progress on the project to the company CTO over video calls.- Mentored multiple other interns, helped them with set up, technical questions, and debugging.

- Assisted 15+ students through the Scratch and Javascript curricula, providing assistance and debugging help on student projects.