Вы здесь
Петренко Александр Константинович
Профессор кафедры СП
Место рождения: г. Химки, Московской обл.
Окончил среднюю общеобразовательную школу № 7 в г. Химки (1968), факультет прикладной математики Московского института электронного машиностроения (1974).
Кандидат физико-математических наук (1983), тема диссертации «Инструментальные средства для разработки интерактивных пакетов программ» (научный руководитель В. С. Штаркман). Доктор физико-математических наук (2003), тема диссертации «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов». Ученое звание — профессор (2011).
Член IEEE Computer Society, член ACM, Почетный член индийского Компьютерного общества.
С 1974 по 2002 гг. работал в Институте прикладной математики им. М. В. Келдыша РАН (последняя должность — заведующий сектором); с 1994 г. работает в Институте системного программирования РАН в должности ведущего научного сотрудника, с 2004 года — в должности заведующего отделом Технологий программирования (Software Engineering).
В Московском университете работает с 1999 г. по совместительству в должности доцента
Основные направления научно-исследовательской работы: формальные методы спецификации и верификации программ и микропроцессоров, программная инженерия, процессы анализа и обеспечения качества ПО.
Читает основной курс лекций «Формальная спецификация и верификация программ», ведет специальный семинар «Корректность программ».
Член редколлегии журнала «Программирование», Председатель подкомитета Технического комитета по стандартизации ТК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».
А. К. Петренко является соавтором нескольких патентов, опубликовал свыше 80 научных работ, в том числе:
1. Машина Беббиджа и возникновение программирования // Историко-математические исследования, № 24, 1979, с.
2. Тестирование компиляторов на основе формальной модели языка — Препринт ИПМ, № 45, 1992 (соавт. Борисова М. В., Морозова Т. А., Чацкина Т. А.);
3. KVEST: Automated Generation of Test Suites from Formal Specifications // Proceedings of World Congress of Formal Methods — Toulouse, France, LNCS, 1999, N 1708, pp.
4. Specification Based Testing: Towards Practice // Proceedings of VI Ershov Memorial Conference 2001 — LNCS, No. 2244, 2001. pp.287-300;
Подход UniTesK к разработке тестов // Программирование, т. 29, № 6, 2003 (соавт. Кулямин В. В., Косачев А. С., Бурдонов И. Б.);
5. Использование контрактных спецификаций для представления требований при функциональном тестировании аппаратуры // Программирование, Том.33, № 5, 2007, стр.
6. Formal Methods and Innovation Economy: Facing New Challenges (соавт.: О. Л. Петренко) // Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods, Cape Town, South Africa, 2008.
7. L. S. Barbosa, A. Cerone, A.K.Petrenko, S. A. Shaikh. Certification of open-source software: A role for formal methods? // International Journal of Computer Systems Science and Engineering (IJCSSE), Vol 25 No 4 July 2010. (ISSN 0267 6192).
8. A.V.Khoroshilov, V.S.Mutilin, A.K.Petrenko, V.A.Zakharov. Establishing Linux Driver Verification Process // Proceedings of the PSI 2009, LNCS, Volume 5947/2010,
9. A.Khoroshilov, I.Koverninskiy, A.K.Petrenklo, A.Ugnenko. Integrating AADL-based Tool Chain into Existing Industrial Processes // In Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011), pp.
