Nadezhda Polikarpova

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.