Azat Abdullin

Research Groups


Postgraduate student at St. Petersburg Polytechnic University (Department of Computer Systems and Software Technologies).

Professional Activity

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

TMPA 2017: Tools and Methods of Program Analysis (pp. 1--10)

Read more

By the power of SMT! Mining Function Contracts to Better Bounded Model Checking

September 2016

Azat Abdullin, Marat Akhin

SoftwareMining 2016: Proceedings of the 5th International Workshop on Software Mining

Read more