• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
немецкий
Контакты
Телефон:
61436
Адрес: ул. Кантемировская, д. 3, корп. 1, лит. А
Расписание
ORCID: 0000-0002-2246-0273
ResearcherID: AAD-1131-2021
Scopus AuthorID: 57233108600
Google Scholar
Часы работы
Вт. 14.40 - 17.40
Руководитель
Храбров А. И.
Версия для печати

 

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

Смирнов Петр Юрьевич

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

Образование

  • 2020

    Магистратура: Санкт-Петербургский государственный университет, специальность «Математическое обеспечение и администрирование информационных систем», квалификация «Магистр»

  • 2018

    Бакалавриат: Санкт-Петербургский национальный исследовательский Академический университет Российской академии наук, специальность «Прикладные математика и физика», квалификация «Бакалавр»

Обучение в аспирантуре

2-й год обучения
Утвержденная тема диссертации: Сложность вывода комбинаторных принципов в пропозициональных системах доказательств
Научный руководитель: Омельченко Александр Владимирович

Публикации1

Статья Itsykson D., Riazanov Artur, Sagunov Danil, Smirnov Petr. Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs // Computational Complexity. 2021. Vol. 30. Article 13. doi (в печати)

Опыт работы

Курс «Эффективная разработка программного обеспечения», НИУ ВШЭ — Санкт-Петербург (2019–2021).

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

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