Konstantin Batoev

Biography

Undergraduate student at St. Petersburg State University, Mathematics & Mechanics Faculty.

His is interested in symbolic execution and control flow analysis.