Образование и ученая степень: НИЯУ МИФИ, кандидат технических наук (2017 г.).

Область научных интересов: информационная безопасность, символьное выполнение, оценка критичности ошибок, обратная инженерия, поиск ошибок, языки программирования, динамический анализ.

Руководство дипломными работами за последние три года:

1. ВКР «Разработка и реализация метода поиска уникальных аварийных завершений среди результатов динамического анализа», Ниськов Ф.В., 2019 г.

Публикации за последние три года:

1. Vishnyakov A., Logunova V., Kobrin E., Kuts D., Parygina D., Fedotov A. Symbolic Security Predicates: Hunt Program Weaknesses. 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021. https://arxiv.org/abs/2111.05770

2. Vishnyakov A., Fedotov A., Kuts D., Novikov A., Parygina D., Kobrin E., Logunova V., Belecky P., Kurmangaleev Sh. Sydr: Cutting Edge Dynamic Symbolic Execution. 2020 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2020, pp. 46-54. DOI: 10.1109/ISPRAS51486.2020.00014. https://arxiv.org/abs/2011.09269

3. Федотов А.Н., Курмангалеев Ш.Ф. CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках. Труды Института системного программирования РАН. 2020;32(4). DOI: 10.15514/ISPRAS-2020-32(4)-6. https://www.researchgate.net/publication/346176971_CASR_core_dump_analysis_and_severity_reporter_tool

4. Niskov, F.V., Fedotov, A.N., Kurmangaleev, S.F. Crash Processing for Selection of Unique Defects. Programming and Computer Software 44, 445–452 (2018). DOI: 10.1134/S0361768818060154.

Персональный сайт: https://xcoldhandsx.github.io