Head: Летичевський О.А., Перевозчикова О.Л.. To develop methods of information technology intellectualization for parallel computations optimization and verification of scalable parallel programs by deductive methods..
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine. № 0107U003570
Updated: 2026-11-08