Академик
Семенов Алексей Львович
Советский и российский учёный-математик, доктор физико-математических наук, академик РАН (2011), академик РАО (2010). Заведующий
кафедрой математической логики и теории алгоритмов механико-математического
факультета МГУ, заведующий лабораторией инженерии знаний Института
математических исследований сложных систем МГУ, советник ректора МГУ. Директор
Института кибернетики и образовательной информатики им. А.И. Берга ФИЦ ИУ РАН,
лауреат премии ЮНЕСКО.
Алексей Львович Семенов родился
13 октября 1950 года в Москве.
В 1972 году
окончил с отличием Механико-математический факультет МГУ им. М.В. Ломоносова по
специальности математика, а в 1975 году — аспирантуру факультета.
В 1975 году
защитил кандидатскую диссертацию «Об определимости в некоторых разрешимых
теориях». В 1985 году защитил докторскую диссертацию «Логические теории
одноместных функций на натуральном ряде».
В 1975-1983 гг. — преподаватель на
кафедре математической логики МГУ им. М.В. Ломоносова. Далее — зав. сектором
проблемно-ориентированных процессоров, зав. лабораторией теории алгоритмов и
лингвистического обеспечения в Научном совете АН СССР по комплексной проблеме
«Кибернетика», в Институте проблем кибернетики АН СССР, Вычислительном центре
им. А.А. Дородницына РАН.
В 1993-2013 годах — ректор
Московского института открытого образования — МИОО (до 2002 года — Московский
институт повышения квалификации работников образования). В 2013-2016 гг. — ректор Московского педагогического
государственного университета, (МПГУ им. В.И. Ленина).
С 2015 года по настоящее время —
директор Института кибернетики и образовательной информатики им. А.И. Берга ФИЦ
«Информатика и управление» РАН.
Член-корреспондент РАН c 2008 года,
академик РАН c 2011 года — Отделение математических наук. Академик Российской
академии образования с 2010 года. Профессор c 1998 года.
Академик А.Л. Семенов
— выдающийся математик, специалист в области математической логики, теории
сложности и информатики, он участвовал в ряде работ по искусственному
интеллекту, разработке прикладного программного обеспечения для отечественной
суперЭВМ.
Вклад А.Л. Семенова в математику
и теоретическую информатику включает результаты из области формальных
грамматик, схем программ и динамических логик, реляционных алгебр,
автоматно-реализуемых отношений, разрешающих алгоритмов для ряда математических
теорий; построение теории алгоритмической случайности конечных
последовательностей, параллельной теории комбинаторной случайности Колмогорова
и базирующейся на колмогоровской сложности, решение проблемы Колмогорова о
точной оценке сложности теста на случайность.
Его дипломная работа —
«Действительнозначная интерпретация формальных степенных рядов для доказательства
разрешимости проблемы эквивалентности однозначных контекстно-свободных
грамматик» — положила начало исследованиям финских математиков школы А. Саломаа.
В его кандидатскую диссертацию
вошло доказательство определимости через сложение всякого отношения, конечно-автоматного
в двух системах счисления — теорема Кобхэма — Семенова. Также в кандидатской
диссертации решена проблема Амара и Пуцолы о регулярности языков, линейных при
двух различных коэффициентах линейности.
Основной темой математических исследований
А.Л. Семенова стала теория определимости, где он является признанным в мире
авторитетом. Проблематика определимости восходит к классическим работам
итальянской (Дж. Пеано, А. Падоа, М. Пиери) и польской (А. Тарский) школ
математической логики XIX и первой половины XX вв., работам К. Гёделя. Ключевая
работа Л. Свенониуса 1959 года стала основой для «Эрланенской программы» —
теоремы полноты для определимости. А.Л. Семеновым и С.Ф. Сопруновым было
получена комбинаторная версия теоремы Свенониуса.
Разрешимость пространства
определимости сложения натуральных чисел — классический результат Пресбургера
1929 года. А.Л. Семенов в 1979 году доказал разрешимость широкого класса
расширений этого пространства одноместными функциями, например экспонентой, или
факториалом.
В случае монадических пространств
А.Л. Семеновым получены результаты о расширении пространства определимости
следования натуральных (или целых) чисел почти периодическими (рекуррентными)
последовательностями символической динамики, что, в частности, решало проблему
Зифкеса и давало решение проблемы униформизации Чёрча для почти периодического
случая. Исследование почти периодических последовательностей было продолжено
также в работах учеников А.Л. Семенова — Ан. А. Мучника, Ю.Л. Притыкина, М.А. Ушакова.
Для монадических пространств Ан. А. Мучник решил проблему, относящуюся к
монадическому пространству нескольких следований, поставленную М.О. Рабином на
Международном конгрессе математиков в Ницце, С.Ф. Сопрунов — поставленную М.О. Рабином
и К. Элготом проблему существования максимальных разрешимых пространств
определимости для слабо монадического случая.
Общая проблематика пространств
определимости породила ряд вопросов, относящихся к решетке таких пространств.
Эти вопросы получили ответы в работах А.Л. Семенова и его коллег. В частности,
были построены примеры пространств произвольной ширины, А.Л. Семенов и С.Ф. Сопрунов
построили примеры пространств определимости произвольной конечной кванторной
глубины.
В 1980 году кафедру
математической логики и теории алгоритмов МГУ, которой сегодня руководит А.Л. Семенов,
возглавил А.Н. Колмогоров, предложивший А.Л. Семенову совместное руководство
семинаром по сложности, работающим по сей день. Это определило ещё одно
направление деятельности А.Л. Семенова.
В своей основополагающей
публикации 1963 года по сложности конечных объектов А.Н. Колмогоров поставил
вопрос о точном соотношении сложности последовательности, сложности алгоритма,
отбирающего из неё подпоследовательность, и степени выполнения для отобранной
подпоследовательности закона больших чисел. Колмогоров возвращался к этой
проблеме и в 1983 году. Решение этой проблемы Ан. А. Мучником и А.Л. Семеновым
в 2003 году было отмечено премией А.Н. Колмогорова РАН как выдающийся вклад в
математику.
А.Л. Семенову принадлежит также
ряд работ по общей теории алгоритмов и исчислений, алгоритмической случайности,
программным логикам, комбинаторной теории групп, сложности вычислений,
алгоритмическим степеням, эффективным вычислительным алгоритмам.
Деятельность в области прикладной
информатики, создания систем искусственного интеллекта началась в 1964 году, с
участие в работах по распознаванию устной речи, создания систем генерации
текстов, ситуационного управления, компиляторов для языков Lisp и APL для отечественных
ЭВМ. Начиная с 1983 года он принимал участие в разработке прикладного
математического обеспечения для «Электроники ССБИС».
Ему принадлежит разработка
концепции расширенной личности как методологической основы приложений
искусственного интеллекта в образовании. Реализуемый под его руководством
проект «Ковчег знаний МГУ» является основой для построения онтологии
фундаментального знания и доверенных энциклопедических систем.
А.Л. Семенов — участник
создания программы «Цифровая экономика РФ», Национальной стратегии в области
искусственного интеллекта.
Академик А.Л. Семенов
— видный деятель российского образования, ключевой участник формирования
современного содержания в школьной информатике и подготовке учителей. Сфера его
интересов: фундаментальные проблемы общего и педагогического образования,
цифровые технологии в образовании, цифровая трансформация образования, вопросы
обновления содержания образования в начальной и средней школе, а также
профессионального педагогического образования.
Начиная с 1967 г., А.Л. Семенов
преподавал в московской школе № 7, выпускником которой являлся, затем в
коллективе А.Н. Колмогорова в Физмат-школе — интернате при МГУ. В 2003 году он
воссоздал школу № 179 как часть возглавляемого им института МИОО и вернул для
работы в ней создателя и идейного лидера традиции математических школ страны
Николая Николаевича Константинова. А.Л. Семенов был членом исполкома
Международной комиссии по математическому образованию.
В 1984 году он стал организатором
и членом авторского коллектива первого учебника по информатике, изданного
тиражом 3 млн. экз. для всех школ Советского Союза.
С середины 1980-х годов А.Л. Семенов
руководил разработками по формированию новой методологии российского
образования, включающей исследовательскую деятельность всех учащихся и
использование цифровых технологий. Он разрабатывал концептуальную основу и
практические решения (включая учебники, программное обеспечение, предметную
среду, стандарты и организационные документы) для процессов обучения, преподавания
и управления с использованием цифровых технологий. Эту работу он начинал под
руководством Е.П. Велихова и А.П. Ершова в рамках ВНТК «Школа-1» АН СССР и
продолжал в созданном им Институте новых технологий. Она оказала влияние на
последующее развитие российского и мирового образования, стала основой для
рекомендаций ЮНЕСКО для всех ступеней общего и педагогического образования. А.Л.
Семенов — лауреат Премии ЮНЕСКО за применение ИКТ в
образовании за 2009 год.
А.Л. Семенов известен как
создатель Института новых технологий образования (ИНТ), разработавшего и
адаптировавшего для России многочисленные цифровые образовательные ресурсы,
выпустившего сотни книг для учителей по применению ИКТ во всех школьных
дисциплинах. ИНТ относится к числу мировых лидеров в применениях информационных
технологий в школе на базе конструкционистского подхода.
А.Л. Семенов —
руководитель авторского коллектива интегрированного курса математики,
информатики и лингвистики для начальной школы. Базирующиеся на нем курсы
«Информатика» и «Алгоритмика» широко используются сегодня в российской школе.
Под руководством А.Л. Семенова
был разработан ряд компьютерных сред и инструментов деятельности школьников,
соответствующих современным целям школьного образования во всех предметах.
Программа
региональной информатизации, разработанная под руководством А.Л. Семенова,
получила в 1999 году премию Президента РФ. Он — один из лидеров совместных
работ РАН, МГУ и образовательного сообщества, направленных на повышение
качества цифровых образовательных ресурсов, формирование стандартов. А.Л. Семенов
был одним из разработчиков образовательных стандартов для школ: для Москвы в
1996 году, для РФ в 2004 и 2009 годах.
А.Л. Семенов был руководителем
научно-методического совета ФИПИ по государственной итоговой аттестации по
математике, в настоящее время — по информатике.
Реализация идей А.Л. Семенова в
области образования в Москве позволила сформировать в городе уникальную на
мировом уровне информационную среду обучения, развития, социального
взаимодействия учащихся, учителей, систем управления образованием. Работа по
информатизации российского образования, выполненная под руководством А.Л. Семенова,
удостоена премии Правительства России за 2009 год.
А.Л. Семенов являлся координатором
работ над Концепцией развития российского математического образования,
созданной по майскому (2012 г.) Указу Президента РФ, один из руководителей
разработки Концепции школьного технологического образования в соответствии с
поручением Президента РФ.
Профессор А.Л. Семенов был единственным пленарным докладчиком от России на II
Международном конгрессе ЮНЕСКО «Образование и информатика» в Москве в 1996 году,
ключевым докладчиком на семинаре «Сокращение разрыва между информационно
богатыми и информационно бедными: новые технологии и будущее образования» на
46-й Международной конференции по образованию (Женева, 2001), основным автором
книг ЮНЕСКО «Рекомендации по ИКТ в начальном образовании», 2000, «ИКТ в школах»,
«Руководство для учителей, или Как ИКТ могут создать новую открытую образовательную
среду» в 2005 году.
В 2019-2023 гг. А.Л. Семенов
руководил программой РФФИ по внедрению цифровых технологий в школах, в которой
принимали участие и ряд коллективов Института образования ВШЭ. По его
инициативе была принята «Хартия цифрового пути школы». Целостная модель школы,
построенная им на идеологии индивидуального проектирования образовательных
траекторий и обязательного достижения каждым учащимся запланированных
результатов, получила название «результативного образования».
А.Л. Семенов на постоянной основе
принимает участие в научной деятельности регионального научного центра
Российской академии образования в Северо-Западном федеральном округе на базе
РГПУ им. А.И. Герцена, Института образования в НИУ ВШЭ.
А.Л. Семенов
подготовил двух докторов и четырех кандидатов наук. Автор более 400
научных работ в области математики, информатики и образования.
А.Л. Семенов — главный редактор
журнала «Доклады Российской академии наук. Математика, информатика, процессы
управления» с 2021 г., в 2012–2018 гг. — главный редактор журнала «Квант». Входит
в редсоветы/редколлегии журналов «Информатика и ее применения», «Искусственный
интеллект и принятие решений», «Информационное общество», «Вестник кибернетики»,
«Вопросы образования», «Educational Studies», «Образовательная политика»,
«Педагогика», «Проблемы современного образования», «Математика в школе»,
«Математическое просвещение», «Информатика и образование», «Информатика в
школе», «Компьютерные инструменты в образовании».
Член Бюро Отделения математических
наук РАН, член Комиссии РАН по экспертизе федеральных государственных
образовательных стандартов и учебников, председатель Комиссии по вопросам
преподавания математики в средней школе, заместитель председателя Комиссия РАН
по развитию сети «Базовые школы РАН» и организационно-методической поддержке
Базовых школ РАН, член научно-методического совета ГИА по информатике.
А.Л. Семенов сделал более 120
докладов на Конференциях, в 35 Конференциях был членом Программных комитетов.
Награды
Заслуженный работник высшей школы
РФ.
Награжден медалью «850 лет
Москвы», орденом Дружбы, орденом Почета, орденом Александра Невского.
Лауреат премии Президента РФ,
лауреат премии Правительства РФ.
Отмечен Благодарностью Президента
РФ.
Ему вручены: премия им. А.Н. Колмогорова
РАН за серию работ «Об уточнении оценок А.Н. Колмогорова, относящихся к теории
случайности», премия ЮНЕСКО имени короля Хамада Бин Исы Аль-Халифа (2009) — за
применение информационных и коммуникационных технологий в образовании,
юбилейная медаль «300 лет Российской академии наук», нагрудный Знак «Почетный
работник общего образования РФ».