Белеванцев Андрей Андреевич
- Перейти к Отделение математических наук | Перейти к списку отделений
Место работы: ФГБУН Институт системного программирования Российской академии наук
Должность: руководитель лаборатории
Место жительства: Москва
Научные достижения: специалист в области системного программирования, автор 64 научных работ, из них 4 учебных пособия и 10 свидетельств о регистрации программ для ЭВМ.
Основные научные результаты:
- разработаны новые алгоритмы планирования команд для архитектур с длинным командным словом с учетом всех возможностей архитектур по выражению параллелизма (спекулятивное, условное выполнение, конвейеризация циклов). Разработанные алгоритмы реализованы в компиляторе GCC для платформы Itanium;
- решена фундаментальная проблема масштабируемого статического анализа исходного кода программ с целью автоматического выявления ошибок и уязвимостей безопасности. Разработанные методы применимы к сверхбольшим программам (десятки млн. строк кода) без потери точности и производительности анализа. Соответствующая методология анализа реализована для языков программирования Си, Си++, Java, C#, Kotlin, Go в программной системе Svace, которая не имеет аналогов в РФ и находится на уровне двух-трех лучших мировых систем.
Премии и награды:
Премия Правительства Москвы молодым ученым за 2018 г.
Latest from Super User
- На ХХ Международной научно-практической конференции «Наступившее будущее: новые форматы, смыслы и сущности образования» обсудили результаты исследований, проведенных научной коллаборацией «Зеленая экономика. Зеленые финансы»
- Член-корреспондент РАН Андрей Наумов: «Спектроскопия — это зрение современной науки»
- «Тихий кризис планеты». Интервью с профессором РАН Еленой Дергачевой
- Шенкарёв Захар Олегович
- Попов Василий Николаевич