Сотрудники лаборатории теоретического программирования. Сидят слева направо: Г.И. Алексеев, Ю.П. Кожева, Е.В. Окунишникова, С.П. Мыльников, В.А. Непомнящий, Т.Г. Чурина, А.В. Быстров, А.А. Сулимов, М. А. Елохина, Н.В. Шилов.