Nadia Polikarpova
Scholar

Nadia Polikarpova

Google Scholar ID: CxzUX0EAAAAJ
UCSD
Programming LanguagesFormal Methods
Citations & Impact
All-time
Citations
1,926
 
H-index
22
 
i10-index
36
 
Publications
20
 
Co-authors
5
list available
Resume (English only)
Background
  • Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD)
  • Member of the Programming Systems group
  • Affiliated with the Hannah Arendt Research Center (HARC)
  • Currently serving as Vice Chair for Graduate Education (GradCom Chair) in the CSE department
  • Current research interests: usable AI-assisted programming (and human-AI collaboration broadly), civic technology (AI and security for civil society), and computational social science
  • Past research includes program synthesis, automated verification, and programming languages