COVID-19 Updates

Information is available for the campus community on the Return to Learn website. Please get vaccinated and stay up to date with County and State guidelines as well as CDC recommendations.

Faculty Profile

Nadezhda Polikarpova

Asst Professor, Computer Science and Engineering

Program synthesis from refinement types; enforcing information flow security using types and synthesis.

Polikarpova’s goal is to build practical tools and techniques that make it easier for programmers to construct secure and reliable software. Her research focuses on software security, automatic debugging, and automatically generating programs that meet high-level specifications.

Capsule Bio:

Polikarpova was a postdoctoral researcher at MIT before joining UC San Diego in 2017. She earned her Ph.D. from ETH Zurich in 2014. She worked her an intern at Microsoft REsearch, where she worked on verifying real-world implementation of security protocols.

Selected Publications:

Google Scholar Publications


Office Phone:
- -

Lab Website

Jacobs School Faculty Update Your Profile