A.P. Ershov Institute of Informatics Systems (IIS) >> Scientific laboratories >> Laboratory of Theoretical Programming >> Technical personnel