Nadia Polikarpova

Picture of Nadia Polikarpova
polikarn [at]

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

curriculum vitae
google scholar

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

I am or have been on the program committees for POPL'17 Artifact Evaluation, APLAS'16, FTfJP'16, SYNT'16, VSTTE'16, TAP'16, iFM'16, FESCA'16, VMCAI'16, ESEC/FSE'15 (Replication Packages), PSI’15, FTfJP'15, FESCA'15, RV'14, and FESCA'14. 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.