Петренко Александр Константинович
- Профессор:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Академический руководитель образовательной программы:Системное программирование
- Начал работать в НИУ ВШЭ в 2009 году.
- Научно-педагогический стаж: 41 год.
Образование, учёные степени и учёные звания
- 2011Ученое звание: Профессор
- 2004Доктор физико-математических наук
- 1974
Специалитет: Московский институт электронного машиностроения, специальность «Прикладная математика», квалификация «инженер-математик»
Достижения и поощрения
- Благодарственное письмо проректора НИУ ВШЭ (ноябрь 2021)
- Благодарность Факультета компьютерных наук НИУ ВШЭ (август 2017)
Учебные курсы (2023/2024 уч. год)
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Системное программирование 2" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1-3 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Верификация программ (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Системное программирование 2" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Системное программирование" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Системное программирование" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-3 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Верификация программ (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Системное программирование" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-3 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: технологии программирования" (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
Учебные курсы (2018/2019 уч. год)
Публикации19
- Глава книги Khoroshilov A. V., Kuliamin V., Petrenko A. K., Shchepetkov I. A State-based Refinement Technique for Event-B, in: Proceedings of the 2020 Ivannikov Memorial Workshop. Los Alamitos : IEEE Communications Society, 2020. P. 55-60.
- Статья Devyanina P. N., Khoroshilov A. V., Kuliamin V., Petrenko A. K., Shchepetkov I. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System // Programming and Computer Software, Pleiades Publishing, Ltd.. 2020. Vol. 46. No. 7. P. 1-11. (в печати)
- Статья Девянин П., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 7-26. doi
- Статья Петренко А. К., Ефремов Д. В., Корныхин Е. В., Кулямин В. В., Хорошилов А. В., Щепетков И. В. Мониторинг и тестирование на основе многоуровневых спецификаций программ // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 7-18. doi
- Книга Actual Problems of System and Software Engineering. Proceedings of the 6th International Conference Actual Problems of System and Software Engineering. Moscow, Russia, 12-14 November, 2019 / Ed. by A. R. Cavalli, A. K. Petrenko, B. Pozin. Vol. 2514. CEUR Workshop Proceedings, 2019.
- Статья Буздалов Д. В., Petrenko A. K., Khoroshilov A. V. On Representation of Simulation Time in Functional Programming Style // Programming and Computer Software. 2019. Vol. 45. No. 8. P. 485-496. doi
- Книга Девянин П. Н., Ефремов Д. В., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Моделирование и верификация политик безопасности управления доступом в операционных системах. М. : Научно-техническое издательство «Горячая линия – Телеком», 2019.
- Книга Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science / Ed. by A. K. Petrenko, A. Voronkov. Vol. 10742. Springer, 2018. doi
- Статья Кулямин В. В., Петренко А. К., Хорошилов А. В. Компонентная верификация операционных систем // Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 367-382. doi
- Книга Actual Problems of System and Software Engineering 2017. Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering Supported by Russian Foundation for Basic Research. Project #17-07-20565 Moscow, Russia, November 14-16, 2017, 408 P. / Ed. by A. R. Cavalli, Alexander Petrenko, Boris Pozin. Vol. 1989. Aachen : CEUR Workshop Proceedings, 2017.
- Глава книги Петренко А. К., Хорошилов А. В. Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей // В кн.: Actual Problems of System and Software Engineering 2017. Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering Supported by Russian Foundation for Basic Research. Project #17-07-20565 Moscow, Russia, November 14-16, 2017, 408 P. / Ed. by A. R. Cavalli, Alexander Petrenko, Boris Pozin. Vol. 1989. Aachen : CEUR Workshop Proceedings, 2017. С. 202-208.
- Статья Devyanin P., Kuliamin V., Petrenko A. K., Khoroshilov A., Shchepetkov I. Comparison of specification decomposition methods in Event-B // Programming and Computer Software. 2016. Vol. 42. No. 4. P. 198-205. doi
- Книга Preliminary Proceedings of the 10th Spring /Summer Young Researchers’ Colloquium on Software Engineering / Ed. by A. S. Kamkin, A. K. Petrenko, A. N. Terekhov. -, 2016.
- Статья Kuliamin V., Lavrischeva E. M., Mutilin V. S., Petrenko A. K. Verification and analysis of variable operating systems // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 3. P. 189-208. doi
- Статья Кулямин В. В., Лаврищева Е., Мутилин В., Петренко А. К. Верификация и анализ вариабельных операционных систем // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 189-208. doi
- Статья Khoroshilov A. V., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Petrenko A. K., Захаров И. С. Configurable toolset for static verification of operating systems kernel modules // Programming and Computer Software. 2015. Vol. 41. No. 1. P. 49-64. doi
- Статья Петренко А. К., Кулямин В. В., Хорошилов А. В. Об интеграции формальных методов в задачах верификации операционных систем // Труды Института системного программирования РАН. 2015. Т. 27. № 5. С. 175-190. doi
- Глава книги Khoroshilov A. V., Petrenko A. K., Девянин П. Н., Kuliamin V., Щепетков И. В. Formal Verification of OS Security Model with Alloy and Event-B, in: Abstract State Machines, Alloy, B, TLA, VDM, and Z. Heidelberg : Springer, 2014. P. 309-313. doi
- Статья Khoroshilov A. V., Petrenko A. K., Альбицкий Д., Ковернинский И. В., Ольшанский М. Ю., Угненко А. А. AADL-Based Toolset for IMA System Design and Integration // SAE International Journal of Aerospace. 2012. Vol. 5. No. 2. P. 294-299. doi
Конференции
- 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
- 2014
Model Based Testing Workshop - MBT-2014 (Гренобль, Франция). Доклад: Программа и труды семинара
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Доклад: Программа и труды конференции
- 2013
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Доклад: Программа и труды конференции
Участие в редколлегиях научных журналов
С 2014 г.: член редколлегии журнала «Программная инженерия».
С 1994 г.: заместитель главного редактора журнала «Программирование».
Опыт работы
Институт прикладной математики им. М.В.Келдыша РАН: с 1974 по 1994.
Институт системного программирования РАН: с 1994 года - ведущий научный сотрудник, с 2004 года - заведующий отделом Технологий программирования (Software Engineering).
МГУ: с 1999 года - доцент, с 2004 года - профессор кафедры системного программирования факультета ВМК.
Информация*
- Общий стаж: 42 года
- Научно-педагогический стаж: 41 год
О конференции SYRCoSE-2021
27-28 мая прошла конференция SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering).
Александру Константиновичу Петренко — 70!
11 июня Александру Константиновичу Петренко, профессору и академическому руководителю образовательной программы "Системное программирование", исполнилось 70!
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. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.
Ершовская конференция собрала программистов со всего мира
27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в России с 1991 года – 11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.
«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»
В 2017 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе, рассказывает ее руководитель Александр Петренко.
Вебинар магистерских программ факультета компьютерных наук НИУ ВШЭ
Высшая школа экономики проводит первую онлайн-встречу из осеннего цикла вебинаров для абитуриентов магистратуры. Свои программы для абитуриентов из регионов РФ представят руководители программ факультета компьютерных наук НИУ ВШЭ, созданного при участии «Академии Яндекса».
«Мне интересно то, что я выбрал, поэтому никакая другая мотивация не требуется»
Пока одни выпускники бакалавриата вступают во взрослую жизнь, устраиваясь на работу или занимаясь собственными проектами, другие начинают заново не только студенческий, но и культурный путь, поступая на магистерские программы зарубежных университетов. Мы поговорили с некоторыми из ребят и узнали, как они выбирали зарубежные университеты, какую роль сыграла в этом Вышка, и что мотивирует их продолжать учиться и заниматься научными исследованиями.