Санкт-Петербург, 199178, Россия, 14-ая линия Васильевского острова, дом 29
(812) 363-68-71, (812) 363-68-72
ru en
Рязанов Артур Александрович
Рязанов Артур Александрович
Ассистент
Контакты:

14-ая линия Васильевского острова, дом 29, Санкт-Петербург, 199178, Россия

aariazanov@gmail.com

Приёмные часы:

По предварительной договорённости.


Образование

06.2019 — магистр прикладной математики и физики
Место защиты: Санкт-Петербургский национальный исследовательский Академический университет имени Ж.И. Алферова Российской академии наук

06.2017 — бакалавр прикладной математики и информатики
Место защиты: СПбГУ


Научные интересы

Вычислительная сложность, теория сложности доказательств.


Избранные публикации

  1. A. Riazanov (2018). On the Decision Trees with Symmetries. Computer Science Symposium in Russia 2018, 282-294. DOI: 10.1007/978-3-319-90530-3_24.
  2. N. Galesi, D. Itsykson, A. Riazanov and A. Sofronova (2019). Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs. MFCS 2019: 49:1-49:15. DOI: 10.1007/978-3-319-90530-3_24.