Log inSign up
Image
user avatar
Nadia Polikarpova
@polikarn
Associate prof @ucsd_cse. Building tools for program verification and synthesis.
San Diego, CA
cseweb.ucsd.edu/~npolikarpova/
Joined January 2015
286
Following
3,486
Followers
RepliesMedia