Александр Петренко

Доктор физико-математических наук, профессор. Тема докторской диссертации «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов» (2003). Заведующий отделом Технологий программирования ИСП РАН. Профессор кафедр системного программирования ВМК МГУ и Факультета компьютерных наук НИУ ВШЭ. Член редколлегии журнала «Программирование», Председатель подкомитета Технического комитета по стандартизации ТК22 JTC 1 ISO/JEC «Языки программирования, их окружение и системные программные интерфейсы», Организатор Международного семинара по тестированию на основе моделей (Model Based Testing — MBT workshop), ежегодной конференции молодых ученых по программной инженерии (Spring Young Researchers Colloquium on Software Engineering, SyrcoSE), Московского городского семинара "Технологии разработки и анализа программ (ТРАП).