Founded on July 3, 1992.
Main lines of research done by the Institute are:
- theoretical and applied aspects of programming systems and technologies; models and means of software engineering; problems of assessing and ensuring a high quality of software, standardization and certification of software systems;
- formal-logic fundamentals, methods and facilities for producing intelligent information systems, data- and knowledge-banks;
- mathematics and software for producing complex distributed computer systems.
Major achievements and developments of the Institute:
- Theoretical and applied principles of component-programming methods were developed. Fundamentals of quality engineering of program systems were elaborated and regulatory-procedural basics and standards of programming industry developed.
- An improved concept of intelligent information systems was proposed, relying on the agent-oriented approach. Architecture, methods and facilities for creating multiagent intelligent information systems in the Internet environment were developed.
- Algebraic&algoritmic models, methods and facilities for developing efficient parallel programs were worked out for multiprocessor systems of cluster and multithreaded architecture; models, methods and facilities for constructing conveyor software systems of processing large-volume databases were developed; the facilities developed were used in producing a parallel-programs complex for regional weather forecasting in Ukraine.
- A mathematical model and computer technology was developed to support studies of human cardiovascular system physiology under extreme conditions of pilotage accelerations and microgravitation. The technology has been transferred to US Defense Department for upgrading the facilities and methods of space- and aircraft operators protection.
- Under the National Program of Informatization, a solution was proposed to create a single telecommunication environment, the system of national information resources, computer-integrated documents circulation, facilities to support decision-making on issues of national significance. Approaches to achieving the interaction of citizens and state institutions were proposed on the basis of Internet portal concept.
The Institute developed and implemented in the production, social and defense spheres over 80 large-scale projects aimed at creating state-of-the-art information technologies and ‘turn-key’ computer systems, which had been ordered by ministries and government agencies of Ukraine: the Ministry of Defense, the State Border Service, the Ministry of Industrial Policy, the Ministry of Transport and Communication, the National Space Agency of Ukraine etc. In particular, ‘Hart’ and ‘Arcan’ systems were implemented in the State Border Service of Ukraine. They provide automation to the operation of its structural units and to checks of persons, transport facilities and cargoes crossing the state border of Ukraine.