Svirin I.S.
Mail:Bauman Moscow State Technical University
Moscow, Russian Federation
Iv.S. Svirin (b. 1987) graduated from the Bauman Moscow State Technical University in 2010. Post-graduate of "Computer Systems and Networks" department of the Bauman Moscow State Technical University. Senior expert of department for information technologies of OAO Rosoboron export. Author of about 5 publications in the field of software verification.