Научные интересы

Математическая логика и теория алгоритмов, Искусственный интеллект, фундаментальные проблемы общего и педагогического образования, цифровые технологии в образовании.

Научные публикации

Семенов А. Л. Пресбургеровость предикатов, регулярных в двух системах счисления // Сибирский математический журнал. 1977. Т. 18. № 2. – С. 403–418.
А. Л. Семëнов. О некоторых расширениях арифметики сложения натуральных чисел // Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195.
Семенов А. Л. Логические теории одноместных функций на натуральном ряде // Известия Академии наук СССР. Серия математическая. 1983. Т. 47, № 3. – С. 623.
V. Uspensky, A. Semenov. Algorithms: main ideas and applications, Mathematics and its Applications // 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.
А. Л. Семенов. Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика» // Информатика и образование, 5 (1996), 29
Мучник Ан. А., Семенов А. Л. О роли закона больших чисел в теории случайности // Проблемы передачи информации. 2003. Т. 39. № 1. – С. 134–165.
Семенов А. Л., Мучник А. А. Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности // Доклады Академии наук. 2003. Т. 391. № 6. – С. 738–740.
Alexei Semenov. Information and Communication Technologies in Schools. A Handbook for Teachers or How ICT Can Create New, Open Learning Environments // UNESCO Paris, 2005. – 327 p.
Семенов А. Л., Сопрунов С. Ф. Решетка определимости. Источники и направления исследований // Чебышёвский сборник, т. XXII, вып. 1(77), 2021. – С. 304–327. https://doi.org/10.22405/2226-8383-2021-22-1-304-327
Константинов Н. Н., Семенов А. Л. Результативное образование в математической школе // Чебышёвский сборник, т. XXII, вып. 1(77), 2021. – С. 413–446. https://doi.org/10.22405/2226-8383-2021-22-1-413-446

Премии и награды

Орден Почёта - присужден в 2016 году за заслуги в развитии науки, образования, подготовке квалифицированных специалистов и многолетнюю плодотворную работу Указом Президента от 28.07.2016 № 359.
Благодарность Президента Российской Федерации - объявлена в 2012 году за достигнутые трудовые успехи и многолетнюю добросовестную работу Распоряжением Президента Российской Федерации от 03.05.2012 № 213-рп.
Орден Дружбы - присужден в 2010 году за достигнутые трудовые успехи и многолетнюю плодотворную работу Указом Президента Российской Федерации от 15 мая 2010 г. № 609 «О награждении государственными наградами Российской Федерации».
Лауреат Премии Юнеско за 2009 год - премия ЮНЕСКО имени короля Хамада Бин Исы Аль-Халифа присуждена в 2009 году за применение информационных и коммуникационных технологий в образовании.
Лауреат Премии Правительства РФ в области образования – премия вручена в 2009 году за разработку проекта «Информатизация системы образования РФ». Премия присуждена распоряжением Правительства РФ от 28.08.2009 № 1246-р
Лауреат премии РАН им. А.Н. Колмогорова - премия вручена за выдающиеся достижения в области математики постановлением от 14 марта 2006 года № 1623 награжден премией имени А.Н. Колмогорова за серию работ «Об уточнении оценок А.Н. Колмогорова, относящихся к теории случайности».
Почетное звание «Заслуженный работник высшей школы Российской Федерации» - присвоено в 2005 году за заслуги в научно-педагогической деятельности и подготовку квалифицированных кадров Указом Президента РФ от 5 февраля. Удостоверение к государственной награде № 172788.
Нагрудный знак «Почетный работник общего образования Российской Федерации» - вручен в 2000 году за заслуги в области образования России. Приказ от 13.10.2000 № I0-I64. OO № I67I0.
Лауреат премии Президента РФ в области образования - присуждена премия Президента России в области образования за 1997 год, за разработку и реализацию комплексной программы информатизации образования московского региона.
Медаль «В память 850-летия Москвы» – вручена в 1997 году за значительный вклад в развитие города Москва. Медаль в ознаменование 850-летия Москвы утверждена Указом Президента Российской Федерации 26 февраля 1997 года.

Персональные профили исследователя

Web of Science: S-5268-2018
Scopus: 7402499019
РИНЦ: 113589
ORCID: 0000-0002-1785-2387
MathSciNet: 218197