Picture of Nadia Polikarpova

nadia polikarpova

Assistant Professor
Department of Computer Science and Engineering
University of California, San Diego
Office: CSE 3102
Email: npolikarpova [at] eng.ucsd.edu

cv | google scholar | bitbucket | twitter

I am an Assistant Professor in the Computer Science and Engineering Department at the University of California, San Diego. I am a member of the Programming Systems group. I completed my PhD in 2014 at ETH Zurich (Switzerland), under the supervision of Bertrand Meyer. After that, I spent almost three years as a postdoc at MIT CSAIL, where I worked with Armando Solar-Lezama.

My research interests span the areas of programming languages and formal methods; in particular, I'm interested in building practical tools and techniques that make it easier for programmers to construct secure and reliable software. My agenda is to combine the growing power of automated logical reasoning and the recent advances in program synthesis to build next-generation programming languages, in which the programmer directly states high-level system requirements (such as data invariants, resource bounds, or security policies) and the compiler takes on the error-prone task of enforcing these requirements.

PROJECTS

PUBLICATIONS

TEACHING

Fall 2017 CSE 291: Program Synthesis

ACTIVITIES

Program (Co-)Chair:

2017 iFM

Program Committees:

2018 OOPSLA, POPL
2017 CAV, SYNT
2016 APLAS, FTfJP, SYNT, VSTTE, TAP, iFM, FESCA, VMCAI
2015 PSI, FTfJP, FESCA
2014 RV, FESCA.

External Review Committees:

2018 PLDI