ЭС: А.А.Белеванцев

БЕЛЕВАНЦЕВ АНДРЕЙ АНДРЕЕВИЧ (р., Могилёв, Белорусская ССР), математик.

 

Окончил факультет вычислительной математики и кибернетики МГУ (2003). Ученик В.П. Иванникова.

Кандидат физико-математических наук (2008, «Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд»). Доктор физико-математических наук (2018, «Многоуровневый статический анализ исходного кода для обеспечения качества программ»).

Член-корреспондент отделения математических наук (прикладная математика и информатика, в том числе кибербезопасность) РАН (2025).

 

Профессор кафедры системного программирования факультета вычислительной математики и кибернетики (2018–н.вр.).

 

Научная и педагогическая деятельность. В сфере научных интересов компиляторные технологии, оптимизация программ, статический анализ программ, параллельное программирование.

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

Сотрудник Института системного программирования имени В.П. Иванникова РАН.

Награждён премией имени С.А. Лебедева за серию работ «Системное программирование и информационная безопасность» (РАН, 2024).

 

Литература: А.А.Белеванцев. Факультет вычислительной математики и кибернетики МГУ; А.А.Белеванцев. ИСП им. В.П.Иванникова РАН.