Student of the department of computer systems and software technologies Institute of Computer Science and Technology, Peter the Great St. Petersburg Polytechnic University. Successfully graduated from university in July 2016 and got diploma with honours with bachelor thesis on automated function contracts mining for better bounded model checking. Currently is a first year master student in SPbPU at "System Software and Applied Software Development Technologies" education program.
Bounded model checker for C programming language
Concolic testing for KotlinProject supervisor: Azat Abdullin
Verification or Program Analysis Lab Researcher