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