Академик Семенов Алексей Львович

13 октября

Академик Семенов Алексей Львович

75 лет

Персональная страница

Академик Алексей Львович Семенов — выдающийся математик-логик, организатор науки и редактор, внёсший фундаментальный вклад в развитие математической логики, теоретической информатики и методологии математического образования.

Фундаментальные научные результаты

Работы А. Л. Семенова задали опорные точки для нескольких ключевых направлений на стыке логики и вычислений. Обобщение классической теоремы Кобхэма на многомерные отношения закрепило «ось» логика ↔ автоматы ↔ определимость и стало основой дальнейших исследований в теории автоматных последовательностей и арифметике Пресбургера. Другая крупная линия — границы разрешимости логических теорий: предложен эффективный подход на базе (эффективной) почти периодичности, обеспечивший разрешимость широкого класса монадических теорий, возникающих из сверхслов и детерминированных динамических систем. На современном фронтире — «геометрия определимости»: получено полное описание решётки редуктов для структуры целых чисел с операцией следования, один из первых результатов такого уровня для не-ω-категоричных структур. Важный вклад внесён и в теорию алгоритмической случайности.

Научно-организационное лидерство

Алексей Львович — действительный член РАН (с 2011 года), директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ «Информатика и управление» РАН (с 2015 года), заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ имени М. В. Ломоносова (с 2018 года), руководитель Лаборатории инженерии знаний Института математических исследований сложных систем МГУ имени М.В. Ломоносова. Эти площадки формируют целостную экосистему подготовки кадров, фундаментальных исследований и внедрения формальных методов в цифровые технологии и образование.

Редакционная и экспертная деятельность

С 2021 года А. Л. Семенов — главный редактор журнала «Доклады РАН. Математика, информатика, процессы управления» (и англоязычной версии Doklady Mathematics). Редакционная политика системно поддерживает повестку на пересечении фундаментальной математики и искусственного интеллекта, обеспечивая высокие стандарты экспертизы и международную видимость российских исследований.

Признание

Научные и организационные достижения отмечены Премией Президента РФ в области образования (1999), Премией им. А. Н. Колмогорова РАН (2006), Премией Правительства РФ в области образования (2009) и другими наградами.