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