Соколов Павел Павлович
- Начал работать в НИУ ВШЭ в 2023 году.
- Научно-педагогический стаж: 11 месяцев.
Образование
Бакалавриат: Национальный исследовательский университет «Высшая школа экономики», специальность «Прикладная математика и информатика», квалификация «Бакалавр»
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые преподаватели" (2024)
Учебные курсы (2023/2024 уч. год)
- Алгоритмы во внешней памяти (Маго-лего; 1, 2 модуль)Рус
- Алгоритмы во внешней памяти (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Дискретная математика (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 3 модуль)Рус
- Промышленное программирование на Haskell, Часть 1 (Маго-лего; 3 модуль)Рус
- Промышленное программирование на Haskell, Часть 1 (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3 модуль)Рус
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Вводный курс по дискретной математике (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)Рус
- Вводный курс по дискретной математике 2 (Дисциплина общефакультетского пула; 3 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 3 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Читательская группа по Теории языков программирования (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)Рус
Опыт работы
Стажёр-исследователь в отделе математической логики МИАН им. В.А.Стеклова с марта 2023
Лаборант-исследователь в отделе математической логики МИАН им. В.А.Стеклова в 2022-2023
Программист-стажёр в WebStorm летом 2021
Стажёр-разработчик группы компонент ядра Яндекс.Браузера в 2019-2020
Информация*
- Общий стаж: 2 года
- Научно-педагогический стаж: 11 месяцев
- Преподавательский стаж: 11 месяцев
Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново
С 12 по 14 мая в учебном центре «Вороново» состоялся семинар по машинному обучению факультета компьютерных наук. Он проводится каждый год для обмена опытом и нетворкинга. Студенты, преподаватели и научные сотрудники ФКН обсудили результаты исследований и новые проекты.