Dates: Summer 2026 (announced June 2026) Team: Microsoft PROSE Worked with: Sumit Gulwani, Katie Garms
Summary
Sadra spent the summer of 2026 as an applied scientist intern on the Microsoft PROSE (PROgram Synthesis using Examples) team. One internship, two lines of work: UX research, with Katie Garms, and agentic AI development, with Sumit Gulwani.
Links
Related
Auditing and Controlling AI Agent Actions in Spreadsheets — paper co-authored with Gulwani, from this line of work, accepted to IUI 2027. FlashScript: Compiling Recurring Agent Workflows into Reusable Neuro-Symbolic Programs: submission co-authored with Gulwani and Katie Garms. Sumit Gulwani — who Sadra worked with on the team. Katie Garms: who Sadra did the UX research with.