Соколов Павел Павлович

Oбразование

2022

Бакалавриат: Национальный исследовательский университет «Высшая школа экономики», специальность «Прикладная математика и информатика», квалификация «Бакалавр»

Профессиональные интересы

линейная логика теория типов гомотопическая теория типов функциональное программирование формальная верификация дизайн языков программирования

Достижения и поощрения

Надбавка для молодых преподавателей ФКН из числа выпускников (2023-2024)
Благодарность департамента больших данных и информационного поиска НИУ ВШЭ (декабрь 2024)
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые преподаватели" (2024)

Учебные курсы (2024/2025 уч. год)

Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)рус
Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)рус
Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)рус
Математика для анализа данных (линейная алгебра) (Маго-лего; 2 модуль)рус
Математика для анализа данных (линейная алгебра) (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2 модуль)рус
Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)рус
Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1, 2 модуль)рус
Типы в языках программирования (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)рус
Типы в языках программирования (Маго-лего; 1, 2 модуль)рус
Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)рус
Архив учебных курсов

Расписание занятий на сегодня

Расписание занятий по физической культуре в спортивных секциях

Полное расписание

Опыт работы

Стажёр-исследователь в отделе математической логики МИАН им. В.А.Стеклова с марта 2023

Лаборант-исследователь в отделе математической логики МИАН им. В.А.Стеклова в 2022-2023

Программист-стажёр в WebStorm летом 2021

Стажёр-разработчик группы компонент ядра Яндекс.Браузера в 2019-2020

Информация^*

Общий стаж: 3 года
Научно-педагогический стаж: 1 год 3 месяца
Преподавательский стаж: 1 год 3 месяца

Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

14

июнь

2023

Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново

С 12 по 14 мая в учебном центре «Вороново» состоялся семинар по машинному обучению факультета компьютерных наук. Он проводится каждый год для обмена опытом и нетворкинга. Студенты, преподаватели и научные сотрудники ФКН обсудили результаты исследований и новые проекты.

Соколов Павел Павлович

Oбразование

Профессиональные интересы

Достижения и поощрения

Учебные курсы (2024/2025 уч. год)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Расписание занятий на сегодня

Опыт работы

Информация^*

Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново

Соколов Павел Павлович

Oбразование

Профессиональные интересы

Достижения и поощрения

Учебные курсы (2024/2025 уч. год)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Расписание занятий на сегодня

Опыт работы

Информация*

Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново

Информация^*