VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Nadia Polikarpova

Registered user since Sat 23 Jan 2016

Name:Nadia Polikarpova
Bio:

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. In 2008, I received a Master’s degree in Applied Mathematics and Informatics at Saint Petersburg State University of Information Technologies, Mechanics and Optics (Russia).

Country:Russia
Affiliation:MIT CSAIL, USA
Research interests:Program verification, synthesis

Contributions

VMCAI Committee Member in Program Committee
Show activities from other conferences

POPL 2016-profile
View general profile