Белеванцев Андрей Андреевич

Ученая степень: доктор  физико-математических наук

Ученое звание: член-корреспондент РАН

Место работы: ФГБУН Институт системного программирования Российской академии наук

Должность: руководитель лаборатории

Место жительства: Москва

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

Научные достижения: специалист в области системного программирования, автор 64 научных работ, из них 4 учебных пособия и 10 свидетельств о регистрации программ для ЭВМ.

Идентификатор РИНЦ: 4312-7167

Идентификатор WoS: B-4820-2018

Идентификатор Scopus: 22333624800

Основные научные результаты: разработаны новые алгоритмы планирования команд для архитектур с длинным командным словом с учетом их возможностей по выражению параллелизма (спекулятивное, условное выполнение, конвейеризация циклов) и реализованы в компиляторе GCC;

решена фундаментальная проблема масштабируемого статического анализа исходного кода программ для автоматического выявления ошибок и уязвимостей безопасности. Разработанные методы применимы к сверхбольшим программам (десятки млн. строк кода) без потери точности и производительности анализа. Методология анализа реализована для десяти языков программирования (в т.ч. С/C++, Java/Kotlin, C#, Go) в программной системе Svace, которая не имеет аналогов в РФ и находится на уровне лучших мировых систем.

Членство в научных и экспертных советах: Член экспертного совета по информатике и управлению ВАК РФ.

Список наград:

Лауреат премии С.А.Лебедева РАН 2024 г.

Членство в диссертационных  советах: Член диссертационного совета Д 24.1.120.01 при ИСП РАН.

Преподавательская деятельность: Читает курсы по алгоритмам и алгоритмическим языкам для студентов ВМК МГУ и ФКН ВШЭ, курсы по анализу программ в магистратуре ВМК МГУ.