Смирнов Петр Юрьевич
- Аспирант:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент информатики
- Начал работать в НИУ ВШЭ в 2019 году.
Обучение в аспирантуре
4-й год обучения
Утвержденная тема диссертации: Сложность вывода комбинаторных принципов в пропозициональных системах доказательств
Научный руководитель: Федоренко Сергей Валентинович
Учебные курсы (2021/2022 уч. год)
- Алгоритмы в биоинформатике (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 2-4 модуль)Рус
- Алгоритмы и структуры данных (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Современные методы принятия решений (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Эффективная разработка программного обеспечения (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Публикации2
- Глава книги Itsykson D., Riazanov Artur, Smirnov Petr. Tight Bounds for Tseitin Formulas, in: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2022. doi (в печати)
- Статья 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 (в печати)