Партнёры лаборатории

Федеральное агентство по науке и инновациям

В рамках государственного контракта лаборатория выполнила научно-исследовательскую работу "Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения"

Федеральное агентство по образованию

Выполняются научно-исследовательские работы по государственному контракту «Автоматизированный реинжиниринг программного обеспечения на основе частичных спецификаций компонентов для переноса приложений в новое программное окружение»

Panasonic

Совместно с компанией Panasonic лаборатория выполнила несколько научно-исследовательских работ в области реинжиниринга, реверс-инжиниринга и анализа программных систем

Intel

По заказу ОАО "Intel" лабораторией проводятся исследования в области обнаружения дефектов в программах на языке SystemC

General Motors

Для корпорации GM лаборатория в сотрудничестве с лабораторией автоматизированного проектирования выполнила научные исследования в области автоматизации расчёта надёжности бортовых вычислительных систем

Лаборатория ведет несколько научно-исследовательских работ совместно ОАО "Концерн "НПО "Аврора" в областях постановки процесса проектирования ПО и разработки архитектур ПО специального назначения

ФГУП "КГФИ"

В сотрудничестве с Камчатским Гидрофизическим Институтом лаборатория выполнила несколько проектов в области создания информационно-вычислительных комплексов различного назначения

Spectraseis

Совместно со швейцарской компанией Spectraseis лаборатория выполнила и продолжает выполнять несколько проектов в области визуализации динамических и статических процессов.

Microsoft Research

В сотрудничестве с Microsoft Research лаборатория проводит исследования в области безопасности Web-приложений

Linuxcenter

С компанией LinuxCenter выполняются проекты в области создания информационных систем

Издательство БХВ-Петербург

Лаборатория принимала участие в программировании и создании дизайна сайта BHV.