A.P. Ershov Institute of Informatics Systems (IIS) >> Scientific laboratories >> Program Construction and Optimization Laboratory >> Research personnel Head of laboratory — Kasyanov Victor