Владимир Андреевич Успенский: ученики

1. Нгуен Хыу Нгы (Ngu Huu Nguen) (к.ф.-м.н.)
   Кандидатская диссертация: О последовательностях состояний машин Тьюринга (1965)
2. Эдуард Данилович Стоцкий (к.ф.-м.н.)
   Кандидатская диссертация: Об одном обобщении порождающих грамматик (1969)
3. Елена Юрьевна Ногина (к.ф.-м.н.)
   Кандидатская диссертация: Об эффективно топологических пространствах (1970)
4. Владимир Александрович Душский (к.ф.-м.н.)
   Кандидатская диссертация: О сложности алгоритмической структуры классов множеств (1971)
5. Василий Александрович Любецкий (д.ф.-м.н.)
   Кандидатская диссертация: Измеримость и наличие совершенного ядра у проективных множеств (1972)
   Докторская диссертация: Оценки и пучки: теоремы переноса (1991)
6. Валерий Егорович Плиско (к.ф.-м.н.)
   Кандидатская диссертация: Рекурсивная реализуемость и конструктивная логика предикатов (1974)
7. Владимир Вячеславович Вьюгин (д.ф.-м.н.)
   Кандидатская диссертация: О структуре верхних полурешеток вычислимых нумераций (1975)
   Докторская диссертация: Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей (2001)
8. Леонид Васильевич Шабунин (к.ф.-м.н.)
   Кандидатская диссертация: Некоторые массовые проблемы исчислений чистой комбинаторной логики (1975)
9. Мария Владимировна Ломковская (к.ф.-м.н.)
   Кандидатская диссертация: Грамматики с нелокальными контекстными условиями (1976)
10. Георг Колев Гаргов (George Gargov, 1947–1996) (к.ф.-м.н.)
    Кандидатская диссертация: Математические свойства некоторых формальных систем интуиционистского анализа (1976)
    Второй научный руководитель: Альберт Григорьевич Драгалин
11. Владимир Григорьевич Кановей (д.ф.-м.н.)
    Кандидатская диссертация: Непротиворечивость некоторых предложений дескриптивной теории множеств, утверждающих существование объектов с парадоксальными свойствами (1976)
    Докторская диссертация: О некоторых проблемах дескриптивной теории множеств и теории типов (1985)
12. Сергей Федорович Сопрунов (к.ф.-м.н.)
    Кандидатская диссертация: О нестандартной арифметике (1978)
13. Владимир Христов Сотиров (Vladimir Sotirov) (к.ф.-м.н.)
    Кандидатская диссертация: Модальные теории с интуиционистской логикой (1979)
    Второй научный руководитель: Альберт Григорьевич Драгалин
14. Дмитрий Павлович Скворцов (к.ф.-м.н.)
    Кандидатская диссертация: Об интерпретации пропозициональных и предикатных формул через конечные и бесконечные задачи (1980)
15. Валерий Арамович Варданян (к.ф.-м.н.)
    Кандидатская диссертация: Об одной пропозициональной логике с дополнительными операторами (1982)
16. Борисас Леонардович Будинас (к.ф.-м.н.)
    Кандидатская диссертация: О принципе селектора и об аналитической определимости точек пространства Бэра (1982)
17. Яким Михайлович Другуш (к.ф.-м.н.)
    Кандидатская диссертация: Суперинтуиционистские логики, моделируемые древовидными множествами (1982)
18. Владимир Николаевич Крупский (к.ф.-м.н.)
    Кандидатская диссертация: О сложности проблемы приближений для точек метрического пространства (1983)
19. Александр Ханевич Шень (к.ф.-м.н.)
    Кандидатская диссертация: Алгоритмические варианты понятия энтропии (1985)
20. Александр Анатольевич Шум (к.ф.-м.н.)
    Кандидатская диссертация: Пропозициональные исчисления и относительные многообразия алгебраических систем (1985)
21. Николай Константинович Верещагин (д.ф.-м.н.)
    Кандидатская диссертация: Алгоритмические проблемы для линейно рекуррентных последовательностей (1986)
    Докторская диссертация: Релятивизируемость в структурной теории сложности вычислений (1995)
22. Андрей Александрович Кузичев (к.ф.-м.н.)
    Кандидатская диссертация: О способах представления формальной арифметики в комбинаторно полных системах (1986)
23. Николай Анатольевич Панкратьев (к.ф.-м.н.)
    Кандидатская диссертация: Об исчислении предикатов и арифметике с оператором доказуемости (1990)
    Второй научный руководитель: Сергей Николаевич Артёмов
24. Евгений Евгеньевич Золин (к.ф.-м.н.)
    Кандидатская диссертация: Модальные логики с оператором разрешимости (2002)
    Второй научный руководитель: Сергей Николаевич Артёмов
25. Николай Владимирович Крупский (к.ф.-м.н.)
    Кандидатская диссертация: Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов (2006)