My main research interests are automated program analysis and verification applied to systems dependability. I participated in the design and implementation of the S2E platform for in-vivo multi-path software analysis and applied S2E to automatically test closed-source binary device drivers. Currently I work on scaling program analysis to larger systems using state merging in symbolic execution and exploring ways to combine symbolic execution with static analysis.
Since May 2010, I am a doctoral assistant in George Candea's Dependable Systems Lab at EPFL. Before, I obtained my mater degree in Applied Physics and Mathematics at MIPT. I also started a couple of open source projects and worked as a software engineer. Please see my CV for more details.
|Postal address||EPFL IC IIF DSLAB INN 331 (Bâtiment INN) Station 14 CH-1015 Lausanne|