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

(род. 13.10.1950, г. Москва). Окончил механико-математический факультет МГУ (1972).

Кандидат физико-математических наук (1975). Доктор физико-математических наук (1985). Академик отделения математических наук (информационные системы в образовании) РАН (2011, член-корреспондент с 2008). Академик РАО (2010).

Заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета (2018–н.вр.). Работает в МГУ с 2005 г.

Награждён орденами Почёта (2016), Дружбы (2011).

Ректор Московского института открытого образования Департамента образования г. Москвы (1993–2013).

Лауреат премии Президента РФ в области образования (1998), премии Правительства РФ (2009).

Область научных интересов: математическая логика, теория алгоритмов, кибернетика, теоретическая информатика.

Тема кандидатской диссертации «О выразимости в некоторых разрешимых теориях». Тема докторской диссертации «Логические теории одноместных функций на натуральном ряде».

Читает курсы «Что такое число?», «Введение в математическую логику и теорию алгоритмов».

Основные труды: «Теория алгоритмов: основные открытия и приложения» (соавт., 1987), «Математика текстов» (2002). Автор учебных пособий для общеобразовательной школы