Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
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

Personal website: http://people.csail.mit.edu/polikarn/

Research interests: Program verification, synthesis

ECOOP 2016 Activities

ECOOP 2016-profile
View general profile