Специальность ВАК:
05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
Дата рождения:
11.06.1951
Сайт: https://www.ispras.ru/groups/se Ключевые слова: Формальные методы,
технологии программирования,
формальные модели,
верификация,
тестирование.
Основные темы научной работы:
Формальные методы разработки программ, технологии программирования, формальные модели, верификация, тестирование, информационная безопасность, системы реального времени, авионика, операционные системы
