Алексей Львович Семёнов (род. 13 октября 1950(19501013), Москва) — российский математик, методист и преподаватель математики. Академик РАН (2011), действительный член РАО, доктор физико-математических наук.

Биография

Окончил механико-математический факультет МГУ в 1972, затем аспирантуру на кафедре математической логики. Имеет научные труды в области математической логики, кибернетики, теоретической информатики. Доктор физико-математических наук, действительный член Российской академии наук (2011; член-корреспондент РАН с 2008), действительный член Российской академии образования (2010).

Работал преподавателем на кафедре математической логики, заведующим лабораторией теории алгоритмов и лингвистического обеспечения Научного совета Академии наук СССР по программе «Кибернетика», заместителем руководителя проекта «Школа-1» АН СССР, был заместителем руководителя Департамента образования Правительства г. Москвы.

C 1993 года — ректор Московского института открытого образования (до 2002 — Московский институт повышения квалификации работников образования).

Является соавтором одного из первых учебников информатики в СССР.

С 2012 года является главным редактором журнала «Квант».

Ссылки

• Профиль Алексея Львовича Семенова на официальном сайте РАН
• Биография на сайте РАО
• Биография на сайте Московского института открытого образования
• Биография
• Общероссийский математический портал
• Лекция «Доказательства невозможности в математической логике и теории алгоритмов»