Alexey holds Ph.D. in Mathematics. He is an expert in the security development life cycle (SDL), AppSec, symbolic execution, automatic bug detection, and fuzzing