Russia, 199178, St. Petersburg, 14 line V.O., 29B
+7 (812) 363-62-32
ru en

Artur A. Riazanov
Artur A. Riazanov
Assistant
Contacts:

29 Line 14th (Vasilyevsky Island), 199178 Saint Petersburg, Russia

st031239@student.spbu.ru

Reception hours:

By appointment


Education

06.2019 — M.Sc. in Applied Mathematics and Physics
Institution: St. Petersburg Academic University

06.2017 — B.Sc. in Applied Mathematics and Computer Science
Institution: St. Petersburg State University


Scientific interests

Computational complexity, proof complexity.


Selected publications

  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

Additional Information

aariazanov@gmail.com