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