![]() |
Лаборатория теории параллельных процессов |
![]() |
Заведующий – Вирбицкайте Ирина БонавентуровнаИсследования лаборатории направлены на разработку, исследование и применение формальных методов и средств спецификации, анализа и верификации параллельных систем со сложной структурной организацией, поведение которых в значительной степени зависит от количественных временных характеристик. Научно-исследовательские изыскания ведутся в следующих тесно связанных направлениях:
Научный персонал - Младший научный сотрудник - Научный сотрудник - Младший научный сотрудник - Зав. лабораторией - Старший научный сотрудник - Старший научный сотрудник - Старший научный сотрудник Научно-технический персонал - Инженер 1 кат. |