Петренко Александр Константинович
- Профессор: Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Академический руководитель образовательной программы: Системное программирование
- Начал работать в НИУ ВШЭ в 2009 году.
- Научно-педагогический стаж: 41 год.
Oбразование, учёные степени и учёные звания
Достижения и поощрения
- Благодарственное письмо проректора НИУ ВШЭ (ноябрь 2021)
- Благодарность Факультета компьютерных наук НИУ ВШЭ (август 2017)
Учебные курсы (2024/2025 уч. год)
- Научно-исследовательский семинар "Системное программирование 1" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-3 модуль)рус
- Научно-исследовательский семинар "Системное программирование 2" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1-3 модуль)рус
- Семинар наставника (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)рус
- Архив учебных курсов
Учебные курсы (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 модуль)рус
Конференции
- 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 года - профессор кафедры системного программирования факультета ВМК.
Информация*
- Общий стаж: 43 года
- Научно-педагогический стаж: 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 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе, рассказывает ее руководитель Александр Петренко.
Вебинар магистерских программ факультета компьютерных наук НИУ ВШЭ
Высшая школа экономики проводит первую онлайн-встречу из осеннего цикла вебинаров для абитуриентов магистратуры. Свои программы для абитуриентов из регионов РФ представят руководители программ факультета компьютерных наук НИУ ВШЭ, созданного при участии «Академии Яндекса».
«Мне интересно то, что я выбрал, поэтому никакая другая мотивация не требуется»
Пока одни выпускники бакалавриата вступают во взрослую жизнь, устраиваясь на работу или занимаясь собственными проектами, другие начинают заново не только студенческий, но и культурный путь, поступая на магистерские программы зарубежных университетов. Мы поговорили с некоторыми из ребят и узнали, как они выбирали зарубежные университеты, какую роль сыграла в этом Вышка, и что мотивирует их продолжать учиться и заниматься научными исследованиями.