Технологии программирования


Коллектив

Руководство

Петренко Александр Константинович, д.ф.- м.н., профессор, заведующий отделом. 

E-mail: petrenko@ispras.ru 
Телефон: +7(495) 912-56-59 (доб. 404). Комната: 215.

Научные руководители и менторы

Петренко А.К. (моделирование программных систем, верификация программных и программно-аппаратных систем, операционные системы, встроенные системы и системы реального времени, телекоммуникационные протоколы, распределённые системы)

Бурдонов И.Б. (теория конформности программных моделей, моделирование программных и распределенных систем)

Демаков А.В. (моделирование и анализ криптографических протоколов, тестирование на основе моделей)

Евтушенко Н.В. (теория конформности программных моделей, моделирование программных и распределенных систем)

Камкин А.С. (верификация микропроцессоров)

Кулямин В.В. оделирование программных систем, верификация программных и программно-аппаратных систем, операционные системы, встроенные системы и системы реального времени, телекоммуникационные протоколы, распределённые системы)

Лаврищева Е.М. (технологии программирования, сборочное программирование, теория надёжности программных систем)

Мутилин В.С. (верификация моделей программ (software model checking), оптимизация операционных систем)

Новиков Е.М. (верификация операционных систем общего назначения)

Хорошилов А.В. оделирование программных систем, верификация программных и программно-аппаратных систем, операционные системы, встроенные системы и системы реального времени, телекоммуникационные протоколы, распределённые системы)