Shraddha Barke

关于

I am a Senior Researcher in the Research in Software Engineering (RiSE)(opens in new tab) group at Microsoft Research(opens in new tab) in Redmond, WA, USA. My research is at the intersection of software engineering and artificial intelligence and focuses on making AI trustworthy. Lately I have been working on post-training models for complex program reasoning tasks and building agentic pipelines for trustworthy code generation. I also work on ensuring the safety and reliability of tool-calling agents through invariant generation. Feel free to reach out to discuss similar interests!

I graduated with my Ph.D. in 2024 from University of California,San Diego(opens in new tab) advised by Dr. Nadia Polikarpova (opens in new tab) where I worked on neurosymbolic program synthesis for domain specific languages. You can download my CV here.