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

академик Российской академии образования (2010)

премия Президента РФ (1998)

премия Правительства РФ (2009)

премия ЮНЕСКО (2009)

Семенов Алексей Львович (1950, Москва) -

специалист в области математической логики, теории алгоритмов, теоретического и прикладного программирования,

академик РАН (2011)

Семенов Алексей Львович родился 13 октября 1950 г. в Москве. В 1972 году окончил механико-математикческий факультет Московского Государственного Университета им. М.ВЛомоносова.

Кандидат физико-математических наук (1975). Доктор физико-математических наук (1985). Профессор c 18.02.1998 (по кафедре информатики).

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

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

Член-корреспондент Российской академии наук (РАН) c 29.05.2008 г. - Отделение математических наук (информатизация образования).

Академик Российской академии образования с 19.11.2010 г., состоит в Отделении общего среднего образования.

Академик РАН c 22.12.2011 г. - Отделение математических наук (информационные системы в образовании).

Вклад А.Л. Семенова в теоретическую информатику включает результаты из области формальных грамматик, схем программ и динамических логик, реляционных алгебр, автоматно-реализуемых отношений, разрешающих алгоритмов для ряда математических теорий; построение теории алгоритмической случайности конечных последовательностей, параллельной теории комбинаторной случайности Колмогорова и базирующейся на колмогоровской сложности, решение проблемы Колмогорова о точной оценке сложности теста на случайность.

Семенов Алексей Львович – организатор и участник работ по созданию первого отечественного учебника по информатике для старшей школы, федеральных учебников по информатике и цифровых образовательных ресурсов различных школьных предметов для начальной и средней школы, Российского общеобразовательного портала, по реальному использованию средств информационных и коммуникационных технологий в средней школе, он главный конструктор направления Образование Программы «Электронная Москва».

Семенов Алексей Львович ведет значительную педагогическую работу в Московском институте открытого образования и на Кафедре математической логики и теории алгоритмов МГУ, он – один из лидеров совместных работ РАН, МГУ и образовательного сообщества, направленных на повышение качества преподавания математики и информатики, качества цифровых образовательных ресурсов, формирование стандартов.

Семенов Алексей Львович - руководитель авторского коллектива интегрированного курса математики, информатики и лингвистики для начальной школы. Руководитель авторского коллектива Рекомендаций ЮНЕСКО по информатике в начальной школе. Руководитель региональной программы информатизации образования в Москве. Главный редактор Российского общеобразовательного портала.

Перечень наиболее значимых опубликованных научных трудов Семенова А.Л.: «Информационные и коммуникационные технологии в образовании. Программа курса» (2000); «Открытое и дистанционное образование. Тенденции, политика и стратегии» (2004); «ИКТ-компетентность учащихся и педагогов» (2004); «Информационные и коммуникационные технологии в подготовке преподавателей. Руководство по планированию» (2005); «Информационные и коммуникационные технологии в образовании. учебные планы для средней школы и программы подготовки преподавателей» (2005); «Цифровые образовательные ресурсы для общего среднего и начального профессионального образования» (2005); «Информационные и коммуникационные технологии в общем образовании. Теория и практика» (2006).

Семенов Алексей Львович - лауреат премии Президента РФ в области образования (1998), премии Правительства РФ (2009), премии ЮНЕСКО (2009).