A.P. Ershov Institute of Informatics Systems (IIS) >> Scientific laboratories >> Laboratory of Theoretical Programming >> Research personnel Laboratory Head — Promsky Alexei