ЭС: А.Л.Семёнов
Окончил механико-математический факультет МГУ (1972). Кандидат физико-математических наук (1975, «О выразимости в некоторых разрешимых теориях»). Доктор физико-математических наук (1985, «Логические теории одноместных функций на натуральном ряде»).
Академик отделения математических наук (информационные системы в образовании) РАН (2011, член-корреспондент с 2008).
Академик отделения общего среднего образования РАО (2010).
Заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета (2018–н.вр.). Работает в МГУ с 2005 г.
Научная и педагогическая деятельность. В сфере научных интересов математическая логика, теория алгоритмов, кибернетика, математические проблемы информатики, информатизация образования, преподавание математики и информатики в начальной школе.
Ректор Московского института повышения квалификации работников образования/Московского института открытого образования (1993–2013). Участвовал в разработке образовательных стандартов для школ Москвы (1996), Федеральных государственных образовательных стандартов (2004, 2009). Координатор и участник разработки Концепции развития российского математического образования (2012–2013), Концепции школьного технологического образования (2016–2018). Главный редактор журнала «Квант» (2012–2018).
Лауреат премии Президента РФ в области образования за разработку и практическую реализацию целостной концепции «Информационное образовательное пространство региона» для региональных систем образования (1998, соавт.).
Лауреат премии Правительства РФ в области образования за создание научно-практической разработки «Комплексная модель информатизации образования: учитель–школа–муниципалитет–регион» (2009, соавт.).
Награждён премией имени А.Н. Колмогорова за цикл работ «Об уточнении оценок А.Н.Колмогорова, относящихся к теории случайности» (РАН, 2006, соавт.).
Почётный работник общего образования РФ (2000).
Государственные награды: ордена – Александра Невского (2024), Почёта (2016), Дружбы (2011).
Основные труды: «Информационные и коммуникационные технологии в общем образовании: теория и практика» (2006), «Теория алгоритмов: основные открытия и приложения» (соавт., 1987), «Математика текстов» (2002). Автор учебных пособий для общеобразовательной школы.
Литература: А.Л.Семёнов. Персональный сайт; Академику А.Л.Семёнову – 70 лет. РАН.