Pavel Pavlovich Sokolov Russian Federation, Moscow Academic degree bachelor Research area type theory Affiliation & position NRU HSE — assistant MI RAS — intern researcher E-mail sokolov.p64@gmail.com
