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