SECR 2012 завершил работу. Получить информацию о текущей конференции можно на www.secrus.org.
SECR 2012 is over. You can learn about our current event at www.secrus.org.

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


 

 

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

проф. д-р Александр Петренкопроф. д-р Александр Петренко

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

Член редколлегии журнала «Программирование», Председатель подкомитета Технического комитета по стандартизации ТК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

 



Оставить комментарий

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

© CEE-SECR 2012 • Email: contact@secrus.org
Powered by WordPress. • Hosted by Hosting Community • Developed by i-Help