Академик Семёнов — яркий пример успешного совмещения научной и педагогической работы. В научных кругах его ценят за исследования математической логики и теории алгоритмов, а также за разработки в области искусственного интеллекта. Педагоги знают его как соавтора первого учебника по информатике для средних школ, прорабатывавшего фундаментальные проблемы общего и педагогического образования и внедрявшего в образование цифровые технологии. Успехи Алексея Семёнова во всех этих сферах отмечены премиями президента, правительства и Академии наук, орденами и медалями.
