Азат Абдуллин
Исследовательские группы
Биография
Аспирант Санкт-Петербургского политехнического университета Петра Великого (высшая школа интеллектуальных систем и суперкомпьютерных технологий).
Профессиональная активность
Основная деятельность связана с разработкой инструмента 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