Nadia Polikarpova

Assistant Professor at UC San Diego

Nadia Polikarpova is an Assistant Professor of Computer Science and Engineering at the University of California, San Diego. Before coming to UCSD, she completed her PhD at ETH Zurich and spent a couple of years as a postdoc at MIT. She is a 2020 Sloan Fellow and a recipient of the 2020 Intel Rising Stars Award and the 2020 NSF CAREER Award. Her research interests are in program synthesis, program verification, and type systems.