Main lines of the Institute's activities:

Development of the general theory and methods of system analysis, mathematical simulation, optimization and artificial intelligence;

Development of the general control theory, as well as methods and means to construct various-purpose intelligent control systems of different levels;

Creation of the general theory of computers and development of the advanced facilities used in computer science and engineering, artificial intelligence and information science;

Creation of advanced general-purpose and application-oriented mathematical support systems;

Development of new information technologies and intelligent systems;

Study of fundamental and application problems concerned with information support provided for the society.

Scientific schools of:

Mathematical cybernetics, optimization and system analysis;

Programming theory;

Reliability and mathematical simulation theory;

Computer and system theory.

Results of the international level:

Investigations and practical algorithms in non-differentiable, stochastic and discrete optimization;

Methods for assessing extreme states in high-reliability systems;

Asymptotic methods in reliability theory;

The theory and methods for designing application software systems with the use of deductive verification of system components;

Methods for solving dynamic problems concerned with the approaching of moving objects;

Macromodular programming philosophy aimed at constructing semantically controlled high-tech systems;

Theoretical fundamentals for creating a new class of high-performance knowledge-oriented computers, i.e of intelligent solving machines;

Theoretical and experimental investigations, software and tools-based facilities for registering, mapping and analyzing parameters of magnetic fields of the human heart.

The Institute proposes for joint upgrading:

Investigation of dynamics and development of algorithms of charged particles transportation in plasma media;

A technology for designing application software systems with the use of deductive verification of system components;

Portable instruments for non-invasive diagnostics of the microcircular bed status in the blood-circulation system and some important blood parameters.