Mednikov A.V.
Mail:Bauman Moscow State Technical University
Moscow, Russian Federation
Mednikov A.V. (b.1991) graduated from bachelor of Bauman Moscow State Technical University in 2012. Master of the Computer software and Information Technology Department of Bauman Moscow State Technical University. Research interests: analysis and verification of programs.