
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
Using general profile