contact me
alsemno@ya.ru
RU
EN
Идентификаторы
PersonID 19667
Alexei Semenov
ID: semenov.alexei-l
AuthorID: 218197
Spin 2289-1720
alsemenov
0000-0002-1785-2387
S-5268-2018
AuthorID 7402499019
Alexei_Semenov
A. Semenov
AlexeySemenov
Alexei Semenov

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

Член Российской академии наук
Член Российской академии образования
доктор физико-математических наук

Ученая степень

  • Кандидат технических наук
  • Доктор математических наук

Профессиональное признание

  • Действительный член Российской академии наук по Отделению математических наук с 2011 года
  • Действительный член Российской академии образования с 2010 года
  • Лауреат премии РАН им. А.Н. Колмогорова в 2006 года
    премия вручена за выдающиеся достижения в области математики постановлением от 14.03.2006 №1623
  • Лауреат Премии Юнеско за 2009 год
    премия ЮНЕСКО имени короля Хамада Бин Исы Аль-Халифа присуждена за применение информационных и коммуникационных технологий в образовании

Профессиональный опыт

  • Заведующий кафедрой математической логики и теории алгоритмов МГУ имени М.В. Ломоносова
    2018 год – настоящее время
  • Директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН
    2016 год – настоящее время
  • Президент и ректор Московского педагогического государственного университета
    2013 – 2016 гг.
  • Президент и ректор Московского института открытого образования
    1993 – 2013 гг.
  • Заведующий лабораторией теории алгоритмов и лингвистического обеспечения научного совета Академии наук СССР по комплексной проблеме «Кибернетика»
    (разработка высокопараллельных алгоритмов и программного обеспечения линейной алгебры для последнего советского суперкомпьютера)
    1984 – 1993 гг.
  • Доцент, ученый секретарь кафедры математической логики МГУ имени М.В. Ломоносова (до 1979 г. возглавлял А. Марков-младший; 1980-1987 гг. – А. Колмогоров)
    (привлек на кафедру талантливых студентов, таких как Андрей Мучник, Александр Шень, Николай Верещагин, Владимир Вовк, Александр Разборов, Юрий Притыкин)
    1975 – 1984 гг.

Параллельные направления работы

  • Главный редактор журнала «Доклады РАН. Математика, информатика, процессы управления»
    2018 год – настоящее время
  • Приглашенный редактор журналов Theoretical Computer Science и MDPI – Mathematics
    2022 год – настоящее время
  • Руководил разработкой и внедрением системы результативного образования (персонифицированного компетентностного обучения) для российских школ
    2017 – 2019 гг.
  • Главный редактор журнала «Квант»
    2012 – 2018 гг.
  • Заведующий кафедрой компьютерных наук Международного университета в Москве
    1991 – 2001 гг.
  • Организатор Исследовательского консорциума «Школа-1» АН СССР
    (для разработки новой системы образования страны на основе мирового опыта, цифровых технологий и исследовательского обучения; продолжен с 1989 г. Институтом новых технологий)
    1987 – 1989 гг.
  • Организатор и соавтор первого учебника информатики для всех советских школ (руководитель коллектива проф. А.П. Ершов)
    (в дальнейшем – руководитель авторских учебников по математике и информатике для начальной и средней школы)
    1985 год
  • Учитель московской школы №7 имени Андрея Колмогорова
    1965 – 1980 гг.
  • Воссоздатель московской школы №179 (Школа имени Н. Н. Константинова)
    2001 год

Международная деятельность

  • Организатор и/или автор рекомендаций ЮНЕСКО по ИКТ в образовании
    2000 – 2012 гг.
  • Сопредседатель Ученого совета Союза ОРТ
    2010 год – настоящее время
  • Член исполнительного комитета Международной комиссии по математическому обучению
    2007 – 2009 гг.
  • Совместные проекты с Медиа-лабораторией Массачусетского технологического института и TERC в Кембридже, Массачусетс, США
    1989 – 1995 гг.
  • Организация конференций, председательство в программном и организационном комитетах
    Приглашенные семинары по образованию «Восток-Запад» Москва – Санкт-Петербург (на теплоходе): 1989–1992 гг.;
    Прага, Будапешт (Информатика в России, ЦСР), 2014 год
  • Приглашенный профессор Университета Турку, Финляндия.
    1989 год
  • Приглашенные лекции и панельные дискуссии
    Ургенчский симпозиум, посвященный Аль-Хорезми (1979 г.);
    Математические основы информатики (MFCS, 1984);
    Второй Всемирный конгресс ЮНЕСКО по информатике и образованию (1996 г.);
    Открытая конференция IFIP TC3/WG3.1 по коммуникациям и сетям в образовании, Финляндия (1999 г.);
    46-я конференция ЮНЕСКО – МБП по образованию, Женева (2006 г.);
    Конференции МБП в Нигерии, Колумбия;
    Международные конгрессы математического образования (ICME, 2004, 2008, 2016);
    Международная комиссия по математическому обучению (ICMI);
    17-я учебная конференция в Ханое, Вьетнам (2006 г.);
    Международный симпозиум по информатике в России (CSR 2014, 2018).

Образование

  • Московская школа № 70
    1956–1965 гг.
  • Московская школа № 7
    1965 – 1967 гг.
  • Московский государственный университет имени Ломоносова (МГУ), магистр (математика)
    1967 – 1972 гг.
  • Кандидат математических наук МГУ
    1972 – 1975 гг.

Персональные профили


Главные публикации

  • Семенов А. Л. Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик // Доклады Академии наук СССР. 1973. Т. 212. – С. 50–52.
  • Семенов А. Л. Регулярность языков, k-линейных при различных k// Доклады Академии наук СССР. 1974. Т. 215. – С. 278 – 281.
  • Семенов А. Л. Пресбургеровость предикатов, регулярных в двух системах счисления // Сибирский математический журнал. 1977. Т. 18. № 2. – С. 403–418.
  • Семенов А. Л. О некоторых расширениях арифметики сложения натуральных чисел // Известия Академии наук СССР. Серия математическая. 1979. Т. 43, № 5. – С. 1175 – 1195.
  • Семенов А. Л. Логические теории одноместных функций на натуральном ряде // Известия Академии наук СССР. Серия математическая. 1983. Т. 47, № 3. – С. 623.
  • Semenov A. L. Decidability of Monadic Theories. Mathematical Foundations of Computer Science, Praha, Czechoslovakia, September 3–7, 1984. Proceedings. Lecture Notes in Computer Science. 1984. V. 176. 401–419. DOI 10.1007/BFb0030296
  • Успенский В. А., Семенов А. Л., Шень А. Х. Может ли (индивидуальная) последовательность нулей и единиц быть случайной? // Успехи математических наук. 1990. Т. 45. № 1. – С. 105 – 162.
  • Uspensky V. A., Semenov A. L. Algorithms: Main Ideas and Applications. Kluwer Academic Publishers. 1993. 269 p.
  • Семенов А. Л. Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика» // Информатика и образование. 1996. № 5. – С. 29.
  • Muchnik An. A., Semenov A. L., Uspensky V. A. Mathematical Metaphysics of Randomness Theoretical Computer Science. 1998. 207(2). 263–317.
  • Семёнов А. Л., Книфзингер А., Марчева К., Резвик С. Шмидт Э. Информатика для начального образования. Рекомендации ЮНЕСКО. Пер. с англ. // ИИТО ЮНЕСКО, 2000. 92 с.
  • Semenov A., Resta P. et al. Information and Communication Technologies in Teacher Education. Division of Higher Education, UNESCO. 2002. – 235 р.
  • Мучник Ан. А., Семенов А. Л. О роли закона больших чисел в теории случайности // Проблемы передачи информации. 2003. Т. 39. № 1. – С. 134–165.
  • Семенов А. Л., Мучник А. А. Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности // Доклады Академии наук. 2003. Т. 391. № 6. – С. 738–740.
  • Семенов А. Л. Условия конечности для алгебр отношений. // Труды математического института им. В. А. Стеклова, 2003, т. 242. – С. 103–107.
  • Semenov A. Information and Communication Technologies in Schools. A Handbook for Teachers or How ICT Can Create New, Open Learning Environments. 2005. Paris: UNESCO. 327 p.
  • Мучник А. А., Притыкин Ю. Л., Семенов А. Л. Последовательности, близкие к периодическим // Успехи математических наук. 2009. Т. 64. № 5. – С. 21 – 96.
  • Семенов А. Л., Сопрунов С. Ф. Конечные кванторные иерархии в алгебрах отношений // Труды Математического института им. В. А. Стеклова, 2011, т. 274, с. 291–296.
  • Kalaš I. Bannayan H. E. Conery L. Laval E. Laurillard D. Lim C. P. Musgrave S. Semenov A. Tursanyi-Szabo M. ICT in Primary Education Volume 1: Exploring the Origins, Settings and Initiatives. Moscow: UNESCO Institute for Information Technologies in Education. 2012.
  • Semenov A., Soprunov S., and Uspensky V. The Lattice of Definability. Origins, Recent Developments, and Further Directions. Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia. CSR 2014, Moscow, Russia, June 7–11, 2014. Proceedings. Lecture Notes in Computer Science. Springer. 2014. V. 8476. 23–38.
  • Polikarpov S. A., Semenov A. L. Mathematics for the 21th Century School: The Russian Experience and International Prospects. Proceedings of the 13th international Congress on Mathematical Education (ICME-13). Springer. 2017. 675–676.
  • Семенов А. Л., Сопрунов С. Ф. Решетка определимости (редуктов) для целых чисел с операцией следования // Известия РАН. Сер. матем., 85 (6), 2021. – С. 245–258.
  • Semenov A. L., Soprunov S. F. The Lattice of Definability: Origins, Recent Developments, and Further Directions. Doklady Math., 2022, 106 (Suppl 2), S288–S298. DOI 10.1134/S1064562423700370
  • Konstantinov N. N., Semenov A. L. Productive Education in Mathematical Schools. Doklady Math., 2022, 106 (Suppl 2), S270–S287. DOI 10.1134/S1064562423700369
  • Semenov A., Soprunov S. Automorphisms and Definability (of Reducts) for Upward Complete Structures. Mathematics 2022, 10(20), 3748. DOI 10.3390/math10203748
  • Семенов А. Л. ИИ: почему математика? Предисловие главного редактора // Доклады РАН, Математика, Информатика, процессы управления, 2022, 508. – С. 3–5. DOI 10.31857/S2686954322070268