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
287
Following
3,491
Followers
Posts
@polikarn hasn’t posted
When they do, their posts will show up here.