Institute

Program Construction and Optimization Laboratory

Head of laboratory — Kasyanov Victor

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.

Research personnel

Gordeev Dmitrii — Junior researcher
Kasyanov Victor — Head of laboratory, Chief researcher
Kasyanova Elena — Senior researcher
Kasyanova Svetlana — Researcher
Volyanskaya Tatiana — Junior researcher
Zolotukhin Timur Aleksandrovich — Junior researcher

Technical personnel

Blinov Vladislav — Second grade programmer
Kharitonov Еduard — Leading programmer
Malyshev Aler — Leading programmer
Mirzuitova Irina — Leading engineer