• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7(495) 772-9590 доб. 44421
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 623
Время присутствия: Вторник 15:30 - 17:30
Расписание
Резюме (PDF, 134 Кб)
SPIN РИНЦ: 6953-5427
ORCID: 0000-0002-7386-979X
ResearcherID: L-9806-2016
Scopus AuthorID: 7005187259
Google Scholar
Блоги и соц. сети
ВКонтакте
Facebook
LiVEJOURNAL
Руководитель
Аржанцев И. В.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Верещагин Николай Константинович

  • Начал работать в НИУ ВШЭ в 2013 году.

Образование, учёные степени и учёные звания

  • 2014
    Член Европейской академии
  • 1997
    Ученое звание: Профессор
  • 1996

    Доктор физико-математических наук: МГУ им. М.В. Ломоносова, специальность 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации: Релятивизуемость в структурной теории сложности вычислений

  • 1981

    Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика»

Достижения и поощрения

Полномочия / обязанности

Заведующий лабораторией

Выпускные квалификационные работы студентов

Полный список ВКР

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Публикации

20173

20162

20151

Глава книги Vereshchagin N., Shen A. Algorithmic Statistics Revisited, in: Measures of Complexity. Festschrift for Alexey Chervonenkis.. Springer, 2015. doi P. 235-252.

20143

20139

20123

20114

20081

Книга Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов Ч. 1: Начала теории множеств. М. : МЦНМО, 2008.

20021

Книга Vereshchagin N., Shen A. Basic Set Theory. Providence : AMS, 2002.

Основное место работы, должность

Профессор кафедры математической логики и теории алгоритмов мехмата МГУ им. М.В. Ломоносова


Страничка на вебсайте мехмата МГУ

http://lpcs.math.msu.su/~ver

Расписание занятий на сегодня

Полное расписание

Computer Science Faculty Staff Attend Symposium in Russia

On June 9-13, the international conference ‘Computer Science Symposium in Russia 2016’ was held in St. Petersburg as part of the Special Semester on Computational and Proof Complexity.

Сотрудники факультета на конференции Computer Science Symposium in Russia 2016

13 июня завершилась международная конференция Computer Science Symposium in Russia 2016, которая проходила 9-13 июня в Санкт-Петербурге во время “Специального семестра по теории сложности”. Семестр начался в апреле и продлится до конца июня. Помимо CSR-2016, в рамках Семестра прошли Symposium on Experimental Algorithms 2016, несколько семинаров, тьюториалов и три воркшопа. Семестр организован сотрудниками Исследовательской лаборатории им. П.Л. Чебышева, также в числе организаторов и участников – такие известные специалисты по Computer Science как Johan Håstad, Jan Krajíček, Pavel Pudlák, Madhu Sudan, Ryan Williams и другие. Сотрудники Международной лаборатории теоретической информатики факультета компьютерных наук принимают активное участие в работе Семестра.

На факультете компьютерных наук создана международная лаборатория теоретической информатики

В 2016 году на факультете компьютерных наук начинает работу новое научно-исследовательское подразделение департамента больших данных и информационного поиска — лаборатория теоретической информатики. Одна из целей лаборатории — интеграция российской школы по теоретической информатике в международное сообщество.

CSR 2015

13-17 июля прошла 10-я международная конференция CSR 2015 – Computer Science in Russia. Эта крупнейшая в России конференция по теоретической информатике была организована при поддержке Иркутского государственного университета, НИУ ВШЭ и компании «Яндекс». В качестве приглашенного докладчика в конференции принял участие доцент Владимир Подольский. Также с докладом выступил доцент Максим Бабенко.