Владимир Андреевич Успенский: ученики
Владимир Андреевич Успенский подготовил 25 кандидатов и 4 докторов наук:
- Нгуен Хыу Нгы (Ngu Huu Nguen) (к.ф.-м.н.)
Кандидатская диссертация: О последовательностях состояний машин Тьюринга (1965) - Эдуард Данилович Стоцкий (к.ф.-м.н.)
Кандидатская диссертация: Об одном обобщении порождающих грамматик (1969) - Елена Юрьевна Ногина (к.ф.-м.н.)
Кандидатская диссертация: Об эффективно топологических пространствах (1970) - Владимир Александрович Душский (к.ф.-м.н.)
Кандидатская диссертация: О сложности алгоритмической структуры классов множеств (1971) - Василий Александрович Любецкий (д.ф.-м.н.)
Кандидатская диссертация: Измеримость и наличие совершенного ядра у проективных множеств (1972)
Докторская диссертация: Оценки и пучки: теоремы переноса (1991) - Валерий Егорович Плиско (к.ф.-м.н.)
Кандидатская диссертация: Рекурсивная реализуемость и конструктивная логика предикатов (1974) - Владимир Вячеславович Вьюгин (д.ф.-м.н.)
Кандидатская диссертация: О структуре верхних полурешеток вычислимых нумераций (1975)
Докторская диссертация: Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей (2001) - Леонид Васильевич Шабунин (к.ф.-м.н.)
Кандидатская диссертация: Некоторые массовые проблемы исчислений чистой комбинаторной логики (1975) - Мария Владимировна Ломковская (к.ф.-м.н.)
Кандидатская диссертация: Грамматики с нелокальными контекстными условиями (1976) - Георг Колев Гаргов (George Gargov, 1947–1996) (к.ф.-м.н.)
Кандидатская диссертация: Математические свойства некоторых формальных систем интуиционистского анализа (1976)
Второй научный руководитель: Альберт Григорьевич Драгалин - Владимир Григорьевич Кановей (д.ф.-м.н.)
Кандидатская диссертация: Непротиворечивость некоторых предложений дескриптивной теории множеств, утверждающих существование объектов с парадоксальными свойствами (1976)
Докторская диссертация: О некоторых проблемах дескриптивной теории множеств и теории типов (1985) - Сергей Федорович Сопрунов (к.ф.-м.н.)
Кандидатская диссертация: О нестандартной арифметике (1978) - Владимир Христов Сотиров (Vladimir Sotirov) (к.ф.-м.н.)
Кандидатская диссертация: Модальные теории с интуиционистской логикой (1979)
Второй научный руководитель: Альберт Григорьевич Драгалин - Дмитрий Павлович Скворцов (к.ф.-м.н.)
Кандидатская диссертация: Об интерпретации пропозициональных и предикатных формул через конечные и бесконечные задачи (1980) - Валерий Арамович Варданян (к.ф.-м.н.)
Кандидатская диссертация: Об одной пропозициональной логике с дополнительными операторами (1982) - Борисас Леонардович Будинас (к.ф.-м.н.)
Кандидатская диссертация: О принципе селектора и об аналитической определимости точек пространства Бэра (1982) - Яким Михайлович Другуш (к.ф.-м.н.)
Кандидатская диссертация: Суперинтуиционистские логики, моделируемые древовидными множествами (1982) - Владимир Николаевич Крупский (к.ф.-м.н.)
Кандидатская диссертация: О сложности проблемы приближений для точек метрического пространства (1983) - Александр Ханевич Шень (к.ф.-м.н.)
Кандидатская диссертация: Алгоритмические варианты понятия энтропии (1985) - Александр Анатольевич Шум (к.ф.-м.н.)
Кандидатская диссертация: Пропозициональные исчисления и относительные многообразия алгебраических систем (1985) - Николай Константинович Верещагин (д.ф.-м.н.)
Кандидатская диссертация: Алгоритмические проблемы для линейно рекуррентных последовательностей (1986)
Докторская диссертация: Релятивизируемость в структурной теории сложности вычислений (1995) - Андрей Александрович Кузичев (к.ф.-м.н.)
Кандидатская диссертация: О способах представления формальной арифметики в комбинаторно полных системах (1986) - Николай Анатольевич Панкратьев (к.ф.-м.н.)
Кандидатская диссертация: Об исчислении предикатов и арифметике с оператором доказуемости (1990)
Второй научный руководитель: Сергей Николаевич Артёмов - Евгений Евгеньевич Золин (к.ф.-м.н.)
Кандидатская диссертация: Модальные логики с оператором разрешимости (2002)
Второй научный руководитель: Сергей Николаевич Артёмов
- Николай Владимирович Крупский (к.ф.-м.н.)
Кандидатская диссертация: Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов (2006)
Были использованы материалы веб-страницы:
В.А.Успенский на сайте проекта «Математическая генеалогия»