Volodymyr Kuznetsov

photo placeholder image

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 addressEPFL IC IIF DSLAB INN 331 (Bâtiment INN) Station 14 CH-1015 Lausanne
OfficeINN331
In unit
EPFL IC IIF DSLAB  Dependable Systems Laboratory
DSLAB

CodeTickler Sàrl
Fondation EPFL Innovation Park
Bâtiment D
CH-1015 Lausanne

Unit: CODETICKLER

perm_contact_calendarvCard
Administrative data