Registered user since Sat 23 Jan 2016
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).
|PLDI 2016||Program Synthesis from Polymorphic Refinement Types|
|Show activities from other conferences|
View general profile