Азат Абдуллин

Азат Абдуллин


Исследовательские группы

Биография

Аспирант Санкт-Петербургского политехнического университета Петра Великого (высшая школа интеллектуальных систем и суперкомпьютерных технологий).

Профессиональная активность

Основная деятельность связана с разработкой инструмента concolic тестирования для языка Kotlin под названием KEX.

Также преподаю в Санкт-Петербургском политехническом университете и веду курсы «Технологии программирования» и «Алгоритмы и структуры данных».

Публикации

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

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

Подробнее

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

Подробнее