ЭС: Н.К.Верещагин
Окончил механико-математический факультет МГУ (1981). Кандидат физико-математических наук (1984, «Алгоритмические проблемы для линейных рекуррентных последовательностей»). Доктор физико-математических наук (1995, «Релятивизируемость в структурной теории сложности вычислений»). Профессор (1997).
Профессор кафедры математической логики и теории алгоритмов механико-математического факультета (1998–н.вр.).
Научная и педагогическая деятельность. В сфере научных интересов сложность вычислений, алгоритмические методы в теории сложности, колмогоровская сложность, разрешимые теории, теоретико-сложностные проблемы криптографии.
Основные труды: «Вычислимые функции» (соавт., 1999), «Начала теории множеств» (1999), «Языки и исчисления» (2002), «Информация, кодирование и предсказание» (соавт., 2012), «Колмогоровская сложность и алгоритмическая случайность» (соавт., 2013), учебные пособия «Лекции по математической логике и теории алгоритмов» (соавт., 1999), «Вводный курс математической логики» (соавт., 2-е изд. 2002).
Литература: Н.К.Верещагин. Механико-математический факультет МГУ.
