🎉Александру Константиновичу Петренко — 75 лет!

Коллектив Института системного программирования имени В.П. Иванникова РАН сердечно поздравляет Александра Константиновича Петренко с 75-летием!

Александр Константинович — выдающийся российский учёный, доктор физико-математических наук, профессор, заслуженный деятель науки Российской Федерации. Он является одним из признанных специалистов в области системного программирования, программной инженерии, тестирования и верификации программного обеспечения.

Его профессиональный путь неразрывно связан с развитием отечественной вычислительной техники и программной инженерии. Александр Константинович участвовал в создании и внедрении одной из первых реализаций удалённой подготовки и запуска задач в системе «Димон», которая в 1974–1982 годах эксплуатировалась более чем в 50 организациях СССР. В 1983–1992 годах он принимал участие в разработке системы программирования в рамках программы «Буран». С 1994 года Александр Константинович является научным руководителем работ по созданию средств верификации ответственного программного обеспечения и микропроцессоров на основе формальных методов, а также по разработке операционных систем реального времени для аэрокосмической техники.

🎓Научные достижения Александра Константиновича получили широкое признание в профессиональном сообществе. Им опубликовано более 100 научных работ, посвящённых вопросам спецификации, тестирования, верификации и обеспечения качества программных систем. Его исследования внесли значительный вклад в развитие современных методов разработки надёжного и безопасного программного обеспечения.

Особое место в деятельности Александра Константиновича занимает работа с молодыми исследователями и подготовка научных кадров. Он является профессором кафедры системного программирования ВМК МГУ и профессором факультета компьютерных наук НИУ ВШЭ. Многие годы Александр Константинович успешно сочетает научные исследования с преподаванием, руководит образовательными программами, воспитывает новые поколения исследователей и разработчиков. Он также является организатором Коллоквиума молодых учёных по программной инженерии SyrcoSE, который стал авторитетной площадкой для профессионального роста начинающих учёных и формирования новых научных связей.

Коллеги и ученики высоко ценят Александра Константиновича за научную принципиальность, глубокую эрудицию, преданность делу, внимательное отношение к людям и готовность делиться знаниями и опытом.

✔️От всей души желаем Александру Константиновичу крепкого здоровья, благополучия, неиссякаемой энергии, новых научных достижений, талантливых учеников и дальнейших успехов во всех начинаниях на благо российской науки и образования!

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС

🗣В ИСП РАН обсудили развитие автономных систем и технологический суверенитет

В Институте системного программирования им. В.П. Иванникова РАН под председательством президента РАН академика Геннадия Красникова состоялось заседание Совета по развитию решений в сфере критической информационной инфраструктуры.

Участники обсудили развитие беспилотного транспорта, вопросы доверенности и безопасности автономных систем, а также создание единой экосистемы для разработки безопасного и доверенного программного обеспечения.

Директор ИСП РАН, академик РАН Арутюн Аветисян поделился планами по созданию в России единой экосистемы разработки безопасного и доверенного программного обеспечения. По его словам, формирование единого центра компетенций в области автономных систем на базе академического сообщества позволит компаниям создавать решения, конкурентоспособные на мировом уровне, используя при этом верифицированные и безопасные программно-аппаратные платформы.

Мы формируем единое пространство, в котором будет сосредоточен наш опыт создания сообщества вокруг репозитория доверенного системного ПО, опыт разработки операционной системы реального времени, удовлетворяющей всем требованиям гражданской авиации (DO-178), а также наш технологический стек инструментов безопасной разработки. Важной частью этой работы станут компетенции и усилия партнеров, которые уже выразили готовность присоединиться к данному сообществу.

При таком подходе компании смогут сосредоточиться на создании конкурентоспособных инноваций, используя общую базовую платформу, отвечающую самым высоким требованиям эффективности, безопасности и функциональности. Это позволит им выходить на мировой уровень при существенно меньших затратах.

Одним из ключевых элементов предлагаемого подхода является адаптация всего программного стека к отечественной аппаратной базе. Это обеспечит возможность работы прикладных решений как на зарубежном, так и на российском оборудовании, существенно сократив расходы на создание, сопровождение и развитие соответствующего программного обеспечения.

Развитие такого программного стека как общей платформы, доступной всем участникам рынка независимо от масштаба компании и позволяющей вносить собственные инновации, позволит вывести внедрение автономных систем на качественно новый уровень и сформировать полноценную национальную экосистему в этой области,

— отметил академик.

✔️Предложения, прозвучавшие в ходе Совета, будут включены в проект итогового решения и направлены на рассмотрение в Правительство Российской Федерации.

🔗Источник: сайт РАН

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС