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