Научные направления:

4.6. Архитектура, системные решения, программное обеспечение и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.

Программа:

Программа 4.6.2. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования. (Координатор: д.ф.-м.н. А.Г. Марчук)

Проект:

4.6.2.3. Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем