Семёнов, Алексей Львович
Алексе́й Льво́вич Семе́нов (род. 13 октября 1950) — советский и российский учёный-математик, доктор физико-математических наук, академик РАН (2011), академик РАО (2010). Заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ. Заведующий лабораторией инженерии знаний Института математических исследований сложных систем[1]. Советник ректора МГУ (2023). Директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН, лауреат премии ЮНЕСКО[2].
Алексей Львович Семенов | |
---|---|
![]() | |
Ректор Московского педагогического государственного университета | |
Начало полномочий | 31 августа 2013 года |
Окончание полномочий | 12 ноября 2016 года |
Предшественник | Матросов, Виктор Леонидович |
Преемник | Лубков, Алексей Владимирович |
Личные данные | |
Дата рождения | 13 октября 1950 (73 года) |
Место рождения | |
Страна | |
Род деятельности | специалист в области информатики, математик, преподаватель университета |
Научная сфера | математика |
Учёная степень | доктор физико-математических наук |
Учёное звание |
профессор (1998), академик РАО (2010) академик РАН (2011) |
Альма-матер | МГУ (мехмат) |
Награды и медали |
|
Сайт | alsemenov.ru |
![]() |
Биография
правитьРодился в 1950 году в семье инженеров ― Льва Афанасьевича Семенова и Евгении Тихоновны Семеновой[3]. Окончил московскую школу № 7 с углублённым изучением математики и информатики. Поступил на мехмат МГУ, который окончил в 1972 году, однокурсниками были Г. А. Алексеев, В. А. Васенин, С. В. Гувернюк, А. В. Карапетян, В. В. Козлов, В. Е. Павловский, Е. И. Кугушев, Я. В. Татаринов.
Остался в аспирантуре на кафедре математической логики, научный руководитель — А. А. Мучник. Кандидат физико-математических наук (1975, диссертация «Об определимости в некоторых разрешимых теориях»), доктор физико-математических наук (1984, диссертация «Логические теории одноместных функций на натуральном ряде», защищена в МИАН им. В. А. Стеклова).
Специалист в области математической логики, кибернетики, теоретической информатики, образования. Наряду с научной, вёл педагогическую работу: сначала преподавал в своей бывшей школе, затем — в колмогоровском интернате при МГУ (СУНЦ МГУ)[4] и на кафедре математической логики МГУ. Профессор (1998).
Заведовал лабораторией теории алгоритмов и лингвистического обеспечения научного совета Академии наук СССР по комплексной проблеме «Кибернетика», являлся заместителем руководителя проекта «Школа-1» АН СССР (руководитель — академик Е. П. Велихов). Соавтор первого учебника информатики для всех советских школ. В дальнейшем — руководитель авторских коллективов учебников по математике и информатике для начальной и основной школы. Был заместителем руководителя Департамента образования города Москвы.
В 1993—2013 годах — ректор Московского института открытого образования — МИОО (до 2002 года — Московский институт повышения квалификации работников образования). В 2003 году воссоздал школу № 179 как часть МИОО и вернул для работы в ней математика и педагога Н. Н. Константинова.
В 2013—2016 годах — ректор Московского педагогического государственного университета (МПГУ)[5]. С 1 сентября 2018 года — заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова. С 2015 года — директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН.
В 2012—2018 годах — главный редактор журнала «Квант». С 2021 года — главный редактор журнала «Доклады Российской академии наук. Математика, информатика, процессы управления».
Участвовал в разработке образовательных стандартов для школы: в 1996 году для Москвы, ФГОС 2004 и 2009 годов.
Руководитель научно-методического совета Федерального института педагогических измерений (ФИПИ) по государственной итоговой аттестации (ГИА) по математике, член научно-методического совета ФИПИ по ГИА по информатике.
Действительный член Российской академии наук по отделению математических наук с 29 декабря 2011 года, академик Российской академии образования с 19 ноября 2010 года[6].
Награды и звания
править- Медаль «В память 850-летия Москвы» — «за значительный вклад в развитие города Москвы» (1997 год)[7].
- Премия Президента Российской Федерации в области образования — «за разработку и практическую реализацию целостной концепции „Информационное образовательное пространство региона“ для региональных систем образования» (1997 год)[8].
- Нагрудный знак «Почётный работник общего образования Российской Федерации» — «за заслуги в области образования России» (2000 год)[9].
- Почётное звание «Заслуженный работник высшей школы Российской Федерации» — «за заслуги в научно-педагогической деятельности и подготовку квалифицированных кадров» (2005 год)[10].
- Премия РАН им. А. Н. Колмогорова — "за серию работ «Об уточнении оценок А. Н. Колмогорова, относящихся к теории случайности» (2006 год)[11].
- Премия Правительства РФ в области образования — "за создание научно-практической разработки «Комплексная модель информатизации образования: учитель — школа — муниципалитет — регион» (2009 год)[12].
- Премия Юнеско имени короля Хамада Бин Исы Аль-Халифа — «за использование информационно-коммуникационных технологий (ИКТ) в образовании» (2009 год)[13][14].
- Орден Дружбы — «за достигнутые трудовые успехи и многолетнюю плодотворную работу» (2010)[15].
- Благодарность Президента Российской Федерации — «за достигнутые трудовые успехи и многолетнюю добросовестную работу» (2012 год)[16].
- Орден Почёта — «за заслуги в развитии науки, образования, подготовке квалифицированных специалистов и многолетнюю плодотворную работу» (2016 год)[17].
- Орден Александра Невского — «за большой вклад в развитие отечественной науки, многолетнюю плодотворную деятельность и в связи с 300-летием со дня основания Российской академии наук» (2024 год)[18]
Публикации
правитьАвтор более 400 научных трудов[19] по математике, информатике и образованию[20][21].
Математика. Наиболее значимые работы и публикации
править- The Lattice of Definability. Origins, Recent Developments, and Further Directions. Lecture Notes in Computer Science. Springer, 2014. V. 8476. — P. 23 — 38.
- Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности. Доклады Академии наук. 2003 в соавторстве с Ан. А. Мучником. Т. 391. № 6. — С. 738—740.
- Теория алгоритмов: основные открытия и приложения (Наука, 1987) в соавторстве с В. А. Успенским.
- Decidability of Monadic Theories. Lecture Notes in Computer Science, 1984. V. 176. — P. 162—175.
Информатика и ИКТ в образовании. Наиболее значимые работы и публикации
править- Концептуальные проблемы информатики, алгоритмики и программирования в школе. Вестник кибернетики. Международный журнал, № 2(22), 2016. — С. 11 — 15.
- Формирование ИКТ-компетентности младших школьников, пособие для учителей начальной школы и руководителей образовательных организаций. (Просвещение, 2012) в соавторстве с Е. И. Булин-Соколовой, Т. А. Рудченко, Е. Н. Хохловой.
- Информатика в начальном образовании: Рекомендации (ЮНЕСКО, 2000).
- Информационные и коммуникационные технологии в общем образовании: теория и практика (ЮНЕСКО, 2006), доступно на 3 языках ООН.
- Андрей Угланов. Академик Алексей Семёнов: Взгляды Германа Грефа заставляют нас задуматься о происходящем . Аргументы недели № 50(794) (21 декабря 2021). Дата обращения: 2 сентября 2022.
Педагогическое образование. Наиболее значимые работы и публикации
править- Учим учиться и учить. О возрождении педагогического образования, принципах работы педагогического университета и перспективах его выпускников. Российская газета, 7127(259), 15 ноября, 2016.
- Информационные и коммуникационные технологии в подготовке преподавателей: Руководство по планированию (ЮНЕСКО, 2005).
Разработка учебников. Наиболее значимые работы
править- Основы информатики и вычислительной техники. Учебник для средней школы под ред. А. П. Ершова, авторы — А. Л. Семёнов, А. П. Ершов, А. Г. Кушниренко, Г. В. Лебедев (Просвещение, 1988). Первый учебник информатики для школы в СССР.
- УМК «Информатика» / А. Л. Семёнов и др. для 1—4 и 5—6 классов.
- Курс «Математика и информатика» для начальной школы (1-4 классы) / А. Л. Семёнов и др.
Примечания
править- ↑ ИМИСС МГУ.
- ↑ «Школа игнорирует цифровые технологии или даже противостоит им».
- ↑ В девичестве ― Юркина.
- ↑ Семенов Алексей Львович (СУНЦ).
- ↑ СЕМЁНОВ Алексей Львович (МПГУ).
- ↑ СЕМЁНОВ Алексей Львович (РАО).
- ↑ Указ Президента Российской Федерации от 26.02.1997 г. № 132 . Президент России. Дата обращения: 5 сентября 2020. Архивировано 26 мая 2018 года.
- ↑ Указ Президента Российской Федерации от 06.10.1998 г. № 1200 . Президент России. Дата обращения: 5 сентября 2020. Архивировано 14 июня 2022 года.
- ↑ Вручён в 2000 году за заслуги в области образования России. Приказ от 13.10.2000 № I0-I64. OO № I67I0
- ↑ Указ Президента РФ от 05.02.2005 N 128 . rulaws.ru. Дата обращения: 5 сентября 2020.
- ↑ Именные премии и медали . www.ras.ru. Дата обращения: 5 сентября 2020. Архивировано 6 октября 2021 года.
- ↑ Распоряжение Правительства РФ от 28.08.2009 N 1246-р . rulaws.ru. Дата обращения: 5 сентября 2020.
- ↑ Российский ученый Алексей Семенов награжден престижной премией ЮНЕСКО . РИА Новости (30 ноября 2009). Дата обращения: 26 марта 2019. Архивировано 25 марта 2019 года.
- ↑ Dr. Alexei Semenov (англ.). www.wise-qatar.org. Дата обращения: 26 марта 2019. Архивировано 25 марта 2019 года.
- ↑ Указ Президента Российской Федерации от 15.05.2010 г. № 609 . Президент России. Дата обращения: 22 декабря 2020. Архивировано 25 января 2021 года.
- ↑ Распоряжение Президента Российской Федерации от 03.05.2012 г. № 213-рп . Президент России. Дата обращения: 5 сентября 2020.
- ↑ Указ Президента Российской Федерации от 28.07.2016 г. № 359 . Президент России. Дата обращения: 5 сентября 2020. Архивировано 1 декабря 2020 года.
- ↑ Указ Президента Российской Федерации от 5 февраля 2024 года № 91 «О награждении государственными наградами Российской Федерации» . Дата обращения: 6 февраля 2024. Архивировано 5 февраля 2024 года.
- ↑ 161 статья, 244 книги.
- ↑ Семёнов А. Л. — научные работы в системе Истина МГУ . Дата обращения: 1 октября 2020. Архивировано 18 сентября 2020 года.
- ↑ Семёнов А. Л. — научные работы на портале Mathnet . Дата обращения: 31 декабря 2021. Архивировано 22 февраля 2020 года.
Ссылки
править- СЕМЁНОВ Алексей Львович . МПГУ. Дата обращения: 29 декабря 2021.
- СЕМЁНОВ Алексей Львович . РАО. Дата обращения: 29 декабря 2021.
- Семенов Алексей Львович . СУНЦ. Дата обращения: 29 декабря 2021.
- Наталия Лескова. «Школа игнорирует цифровые технологии или даже противостоит им» . Коммерсантъ (28 августа 2021). Дата обращения: 31 декабря 2021.
- Институт математических исследований сложных систем . МГУ. Дата обращения: 19 сентября 2023.
- Семёнов А. Л. — научные работы в системе Истина МГУ
- Семёнов А. Л. — научные работы на портале Mathnet
- Сайт Алексея Семёнова
- Историческая справка на сайте Архива РАН
- Публикации на сайте журнала «Квант»
- GoogleAcademy
- Zentral MATH
- MathSciNet
- Elibrary.ru
- ORCID
- Publons
- Scopus
- ResearchGate