Петренко Александр Константинович
- Профессор: Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Академический руководитель образовательной программы: Системное программирование
- Начал работать в НИУ ВШЭ в 2009 году.
- Научно-педагогический стаж: 43 года.
Oбразование, учёные степени и учёные звания
Достижения и поощрения
- Благодарственное письмо проректора НИУ ВШЭ (ноябрь 2021)
- Благодарность Факультета компьютерных наук НИУ ВШЭ (август 2017)
- Лучший академический руководитель в номинации «Цифровые навыки студентов» — 2025
Научный руководитель диссертационных исследований
- 1Столяров Р. К. Управление жизненным циклом виртуализации сетевых функций в безопасной облачной среде и методы достижения пиковой производительности программно-определяемых сетей (aспирантура: 1-й год обучения)
Учебные курсы (2025/2026 уч. год)
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия; 3-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04 Программная инженерия; 2-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04 Программная инженерия; 1-й курс, 1-4 модуль)рус
- Архив учебных курсов
Учебные курсы (2024/2025 уч. год)
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия; 3-й курс, 1-3 модуль)рус
- Научно-исследовательский семинар "Системное программирование 2" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия; 4-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04 Программная инженерия; 2-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04 Программная инженерия; 1-й курс, 1-4 модуль)рус
Учебные курсы (2023/2024 уч. год)
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 3-й курс, 1-3 модуль)рус
- Научно-исследовательский семинар "Системное программирование 2" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 4-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04. Программная инженерия; 2-й курс, 1-3 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Верификация программ (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 3-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04. Программная инженерия; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 3-й курс, 1-3 модуль)рус
- Научно-исследовательский семинар "Системное программирование 2" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 4-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04. Программная инженерия; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук направление: 09.04.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
- Научно-исследовательский семинар "Системное программирование" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 4-й курс, 1-3 модуль)рус
- Научно-исследовательский семинар "Системное программирование" (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 3-й курс, 1-3 модуль)рус
Конференции
- 2016
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Доклад: Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016)
Конференция "Разработка ПО" CEE-SECR 2016 (Москва). Доклад: Конференция "Разработка ПО" CEE-SECR 2016
TAROT Summer School 2016 on Software Testing, Verification & Validation (Париж). Доклад: Operating systems verification and seciruty issues
- 2015
Model Based Testing Workshop - MBT-2015 (Лондон). Доклад: Proceedings of Model Based Testing Workshop - MBT-2015
Конференция "Разработка ПО" CEE-SECR 2015 (Москва). Доклад: Сайт конференции
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015) (Самара). Доклад: Программа и труды конференции
Ershov Informatics Conference PSI-2015 (Казань). Доклад: Using Refinement in Formal Development of OS Security Model
Участие в редколлегиях научных журналов
Опыт работы
Институт прикладной математики им. М.В.Келдыша РАН: с 1974 по 1994.
Институт системного программирования РАН: с 1994 года - ведущий научный сотрудник, с 2004 года - заведующий отделом Технологий программирования (Software Engineering).
МГУ: с 1999 года - доцент, с 2004 года - профессор кафедры системного программирования факультета ВМК.
Образовательные программы ФКН по программной инженерии прошли аккредитацию
Бакалавриат «Программная инженерия» и магистратуры «Системное программирование» и «Системная и программная инженерия» успешно прошли профессионально-общественную аккредитацию Ассоциации предприятий компьютерных и информационных технологий.
Online День открытых дверей магистратуры [Видео]
11 апреля на факультете компьютерных наук состоялся первый день открытых дверей в новом формате.
Зимняя школа 2020
С 7 по 10 февраля в Учебном центре Вороново состоялась Зимняя школа по компьютерным наукам для поступающих в магистратуру. В этом году было подано 123 заявки от студентов из различных регионов России и стран ближнего зарубежья. Из них отобрали и пригласили в Москву 45 лучших студентов.
Зимняя школа по компьютерным наукам 2019
С 3 по 7 февраля 2019 г. в Учебном центре Вороново состоялась Зимняя школа для поступающих в магистратуру факультета компьютерных наук. В этом году было подано 169 заявок из различных регионов России, а также Болгарии, Украины, Молдавии, Казахстана и Киргизии. Из них 50 участников были приглашены в Учебный центр.
На ФКН прошли Дни компьютерных наук-2018
Празднование Дня рождения факультета, вручение стипендии Ильи Сегаловича, лекции от Яндекса, JetBrains, Сбербанка, КриптоПро, SAS и других компаний, Computer Science и космос, Computer Science и лингвистика... И, конечно, Дни открытых дверей. Cамая насыщенная событиями неделя на ФКН в этом году выпала на 9-15 апреля. По свежим следам – небольшой итог.
XI Ершовская конференция собрала программистов со всего мира
27-29 июня в здании Российской академии наук состоялась авторитетная международная ИТ-конференция, которая регулярно проводится в России с 1991 года — Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.
«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»
В 2017 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе, рассказывает ее руководитель Александр Петренко.