Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/staff/pak.html
Дата изменения: Wed Feb 11 22:28:57 2015
Дата индексирования: Sat Apr 9 22:50:09 2016
Кодировка: Windows-1251
Петренко Александр Константинович

Главная страница « Преподаватели и сотрудники «

Петренко Александр Константинович

Дата рождения: 11.6.1951
Место рождения: г. Химки, Московской обл.
Профессор кафедры, заведующий отделом Института системного программирования РАН.
E-mail:   

Новости
Информация
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Окончил среднюю общеобразовательную школу ?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