About

Current Work

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.

Biography

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.

Contact

Phone	+41-21-6938186
Postal address	EPFL IC IIF DSLAB INN 331 (Bâtiment INN) Station 14 CH-1015 Lausanne
Office	INN331
In unit	EPFL IC IIF DSLAB  Dependable Systems Laboratory DSLAB