Скачать презентацию

Петренко Александр Константинович, профессор, доктор физико-математических наук, заведующий отделом Технологий программирования ИСПРАН, профессор кафедры системного программирования ВМК МГУ им. М.В.Ломоносова.

Член редколлегии журнала «Программирование», Председатель подкомитета Технического комитета по стандартизации ТК22 JTC 1 ISO/JEC «Языки программирования, их окружение и системные программные интерфейсы», организатор международного семинара по тестированию на основе моделей (Model Based Testing – MBT), ежегодной конференции молодых ученых по программной инженерии (Spring Young Researchers Colloquium on Software Engineering, SyrcoSE), Московского городского семинара по Технологии разработки и анализа программ.

Член программных комитетов международных конференций ISOLA, OpenCert, PSI, SEFM, TOOLS. Рецензент журнала «Journal of Systems and Software».

Окончил факультет прикладной математики МИЭМ (1974). Кандидат физико-математических наук (1983), тема диссертации «Инструментальные средства для разработки интерактивных пакетов программ». Доктор физико-математических наук (2003), тема диссертации «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов».

С 1974 по 2002 гг. работал в Институте прикладной математики им. М. В. Келдыша РАН, один из разработчиков системы ДИМОН, участвовал в разработке ПО для поддержки нескольких советских космических программ; с 1994 г. работает в Институте системного программирования РАН.

Основные направления научно-исследовательской работы: формальные методы спецификации и верификации программ и микропроцессоров, программная инженерия, процессы анализа и обеспечения качества ПО. Является научным руководителем Центра верификации ОС Linux.

Читает курс лекций «Формальная спецификация и верификация программ», ведет специальный семинар «Корректность программ». А. К. Петренко является соавтором нескольких патентов, опубликовал свыше 80 научных работ.

Доклад: Две старые идеи в новой упаковке или старые методы решения новых задач

Программирование сверху-вниз в авионике и сосредоточенное описание рассредоточенных действий для обеспечения safety rules