Соколов Павел Павлович Россия, Москва Степень бакалавр Область научных интересов теория типов Место работы и должность НИУ ВШЭ — ассистент МИАН им. Стеклова — стажер-исследователь Адрес электронной почты sokolov.p64@gmail.com
