Окончил среднюю общеобразовательную школу ?7 в г. Химки (1968), факультет прикладной математики Московского института электронного машиностроения (1974).

Кандидат физико-математических наук (1983), тема диссертации «Инструментальные средства для разработки интерактивных пакетов программ» (научный руководитель В. С. Штаркман). Доктор физико-математических наук (2003), тема диссертации «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов». Ученое звание – старший научный сотрудник (1994).

Член IEEE Computer Society, , член ACM, Почетный член индийского Компьютерного общества. Член редколлегии журнала «Программирование», член бюро ассоциации FORTIA (Ассоциация внедрения формальных методов в промышленность).

С 1974 по 2002 гг. работал в Институте прикладной математики им. М. В. Келдыша РАН (последняя должность – заведующий сектором); с 2002 г. работает в Институте системного программирования РАН в должности ведущего научного сотрудника, с 2004 года - в должности заведующего отделом.

В Московском университете работает с 1999 г. по совместительству в должности доцента (1999-2004), профессора (с 2004) кафедры системного программирования факультета ВМК.

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

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

А. К. Петренко опубликовал свыше 70 научных работ, в том числе:

1. Машина Беббиджа и возникновение программирования // Историко математические исследования, ? 24, 1979, с. 340-360, 389 (соавт. Петренко О. Л.);
   

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. 608-621 (co-auth.: I.B.Burdonov, A.S.Kossatchev, S.Cheng, D. Galter);
   

4. Specification Based Testing: Towards Practice // Proceedings of VI Ershov Memorial Conference 2001 – LNCS, No. 2244, 2001. pp.287-300;
   

5. Подход UniTesK к разработке тестов // Программирование, т. 29, ? 6, 2003 (соавт. Кулямин В. В., Косачев А. С., Бурдонов И. Б.);
   

6. Использование контрактных спецификаций для представления требований при функциональном тестировании аппаратуры // Программирование, Том.33, ? 5, 2007, стр. 47-61, (соавт.: В. П. Иванников, А. С. Камкин, В. В. Кулямин, А. С. Косачев,);
   

7. 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.

© Кафедра системного программирования ВМК МГУ.

Обновлено: 16.7.2009