Демаков Алексей Васильевич
- Приглашенный преподаватель:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начал работать в НИУ ВШЭ в 2024 году.
Учебные курсы (2023/2024 уч. год)
- Функциональное программирование (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 3, 4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
Функциональное программирование (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 2, 3 модуль)Рус
Публикации2
- Статья Демаков А. В. Optimization of ProVerif Programs for AKE Protocols // Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787. doi (в печати)
- Статья Vinarskii E., Демаков А. В. Optimization of ProVerif Programs for AKE Protocols // Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787. doi