Postgraduate student at St. Petersburg Polytechnic University (Department of Computer Systems and Software Technologies).
Currently I am working on a concolic testing engine for Kotlin language called KEX.
Also I hold a teaching assistant position in St. Petersburg Polytechnic University and teach "Programming technologies" and "Algorithms and Data Structures" cources.
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
Azat Abdullin, Daniil Stepanov, Marat Akhin
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
Azat Abdullin, Marat Akhin