SANER 2025 (series) / Shraddha Barke

Registered user since Sat 22 Jun 2019
Name:Shraddha Barke
Country:United States
Affiliation:Microsoft Research, Redmond
GitHub: https://github.com/shraddhabarke
Research interests:Programming Languages, Formal Methods, AI
Contributions
SANER 2025-profile
View general profile
View general profile