Смирнов Петр Юрьевич
- Приглашенный преподаватель:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент информатики
- Аспирант:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент математики
- Начал работать в НИУ ВШЭ в 2019 году.
Образование
- 2020
Магистратура: Санкт-Петербургский государственный университет, специальность «Математическое обеспечение и администрирование информационных систем», квалификация «Магистр»
- 2018
Бакалавриат: Санкт-Петербургский национальный исследовательский Академический университет Российской академии наук, специальность «Прикладные математика и физика», квалификация «Бакалавр»
Обучение в аспирантуре
2-й год обучения
Утвержденная тема диссертации: Сложность вывода комбинаторных принципов в пропозициональных системах доказательств
Научный руководитель: Омельченко Александр Владимирович
Учебные курсы (2021/2022 уч. год)
- Алгоритмы в биоинформатике (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 2-4 модуль)Рус
- Алгоритмы и структуры данных (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Современные методы принятия решений (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Эффективная разработка программного обеспечения (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1, 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 (в печати)