Nadia Polikarpova
@polikarn
3,733
Followers
306
Following
60
Media
1,229
Statuses
Associate prof @ucsd_cse . Building tools for program verification and synthesis.
Don't wanna be here?
Send us removal request.