The main efforts of the Laboratory have been aimed at developing methods and tools to improve software efficiency and reliability using transformational approach, program annotations and graph methods.
Development of programming and methodological means to support teaching of fundamentals of informatics is another research direction.
The information system TRANSFORM aimed at accumulation and processing of knowledge about optimizing and restructuring program transformations for parallel computers is under development.
The GRAPH and HIGRES systems for visual graph processing have been implemented on the basis of the developed theoretical concepts and methods.
The information system SIMICS is created which is aimed at supporting humanitarian research.
Encyclopaedia of algorithms and theoretical and graph methods for programmers is preparing for publication.