Руководство Центра верификации ОС Linux
| Иванников Виктор Петрович | Директор ИСП РАН, академик РАН |
| Петренко Александр Константинович | Главный научный консультант, д.ф.-м.н., профессор |
| Рубанов Владимир Васильевич | Руководитель Центра, к.ф.-м.н. |
| Хорошилов Алексей Владимирович | Ведущий архитектор, к.ф.-м.н. |