Петренко Александр Константинович

Профессор факультета компьютерных наук НИУ ВШЭ, работает на базовой кафедре «Системное программирование» Института системного программирования им. В. П. Иванникова РАН. В университете с 2009 года. В профиле указана роль академического руководителя образовательной программы «Системное программирование». Высшее образование получил в Московском институте электронного машиностроения: в 1974 году окончил специалитет по прикладной математике с квалификацией «инженер-математик». Степень доктора физико-математических наук присуждена в 2004 году, учёное звание профессора — в 2011-м.

В наборе 2026/2027 учебного года ведёт научно-исследовательские семинары «Системное программирование 1» и «Системное программирование 2» для бакалавров направления «Программная инженерия», а также семинар наставника для магистрантов той же программы. В предыдущие годы читал курс «Верификация программ» и вёл научно-исследовательский семинар «Программная инженерия: технологии программирования». Руководит аспирантской работой: в профиле указана диссертация Р. К. Столярова об управлении жизненным циклом виртуализации сетевых функций в безопасной облачной среде и методах достижения пиковой производительности программно-определяемых сетей.

Профессиональные интересы сосредоточены на технологиях верификации и валидации программ, формализации интерфейсных стандартов, свободном программном обеспечении и открытых стандартах. Работать начал в Институте прикладной математики им. М. В. Келдыша РАН, где провёл период с 1974 по 1994 год. С 1994 года — в Институте системного программирования РАН: сначала ведущим научным сотрудником, с 2004 года — заведующим отделом технологий программирования. Параллельно с 1999 года преподавал в МГУ на кафедре системного программирования факультета вычислительной математики и кибернетики, с 2004 года — в должности профессора этой кафедры.

В базе публикаций НИУ ВШЭ к его профилю привязана 21 работа. Среди статей — «Runtime Verification of Operating Systems Based on Abstract Models» (Programming and Computer Software, 2023), «Конструирование программных систем, нацеленное на обеспечение безопасности» (Труды Института системного программирования РАН, 2024), «Компонентная верификация операционных систем» (там же, 2018), «Об интеграции формальных методов в задачах верификации операционных систем» (там же, 2015) и «Comparison of specification decomposition methods in Event-B» (Programming and Computer Software, 2016). В соавторстве вышла монография «Моделирование и верификация политик безопасности управления доступом в операционных системах» (Горячая линия — Телеком, 2019). Часть работ связана с трудами конференций Perspectives of System Informatics (PSI 2017) и Actual Problems of System and Software Engineering.

С 1994 года — заместитель главного редактора журнала «Программирование», с 2014 года входит в редколлегию журнала «Программная инженерия». Отмечен благодарностью ректора НИУ ВШЭ (май 2026), благодарственным письмом проректора (ноябрь 2021) и благодарностью факультета компьютерных наук (август 2017). В 2025 году получил отметку «Лучший академический руководитель» в номинации «Цифровые навыки студентов». Выступал на международных площадках по тестированию и верификации: TAROT Summer School on Software Testing, Verification & Validation (Париж, 2016), Model Based Testing Workshop (Лондон, 2015; Гренобль, 2014; Рим, 2013), Ershov Informatics Conference PSI-2015 (Казань), а также на коллоквиумах SYRCoSE и конференциях CEE-SECR в Москве.