Nadia Polikarpova

Picture of Nadia Polikarpova
polikarn [at]

32 Vassar street, 32-G714
Cambridge, MA 02139, USA

cv | research statement | teaching statement | diversity statement
google scholar | bitbucket | twitter

I am a postdoc at MIT CSAIL, where I work with Armando Solar-Lezama. I completed my PhD in 2014 at ETH Zurich (Switzerland), under the supervision of Bertrand Meyer. During my doctoral studies I was a research intern at Microsoft Research Redmond, working with Michał Moskal. I received my Bachelor's and Master's degrees in Applied Mathematics and Informatics from ITMO University (Saint Petersburg, Russia).

My research interests are in program verification and synthesis. Here are some of my current and past projects:


Professional Activities

New: I'm giving a tutorial on Refinement Types for Program Verification and Synthesis at PLDI'17 with Niki Vazou and Ranjt Jhala.

I'm a PC co-chair of iFM'17.

Program Committees: ICSE'18, CAV'17, APLAS'16, FTfJP'16, SYNT'16, VSTTE'16, TAP'16, iFM'16, FESCA'16, VMCAI'16, PSI’15, FTfJP'15, FESCA'15, RV'14, FESCA'14.

Artifact Evaluation Committees: POPL'17, ESEC/FSE'15.

I also have reviewed articles for Formal Aspects of Computing and Journal of Functional Programming.

I helped organize RV'14 as a Tutorials and Publication Chair, and ESEC/FSE'13 as a Deputy General Chair (for which I got the ACM SIGSOFT Recognition of Services Award). I also served as Publicity Chair for the LASER Summer School in 2011-2014.