Shraddha Barke

Registered user since Sat 22 Jun 2019

Name:Shraddha Barke
Country:United States
Affiliation:Microsoft Research, Redmond
Research interests:Programming Languages, Formal Methods, AI

Contributions