The Center focuses on the development of methods of mathematical modeling of physical processes, chemical reactions and methods of oil extraction; computational metabolomics; data analysis and machine learning. We plan to be among the world's leading centers of research in this area by 2020.

We are building a specialized model to develop IT systems based on combining UML diagram definitions with the apparatus of CSP-OZ theory. This combination provides on the one hand an intuitive and visual representation of graphic symbols, and on the other hand ensures accuracy and the possibility of analyzing and proving the properties of specifications received courtesy of formal methods.

The Center for Applied Algebra and Computability's research has focused primarily on analysis of computational complexity and quantum computation. Degrees of complexity determined by restricted resources are also investigated.

A further line we are pursuing is an investigation of how conceptions of the complexity of a computation are connected to those centered around the definition of algorithms.

Techniques developed over the course of this research will also enable the determination of the effective potential of standard mathematical theorems and the degree of difficulty present in combinatorial proof theorems.

Key projects: 

• The 'Testing of Hyperactive Genes' expert system is responsible for pathology; 
• The search algorithm for zones of interest represented is designed for Samsung and configured to provide an incredibly high degree of accuracy; 
• New algorithms for tracking moving objects, and algorithms for 3D objects recognition; 
• The development of parallel mathematical physics algorithms based on network methods; 
• The creation of cryptographically strong protocols based on biometric data and quantum functions; 
• Algebraic structures' algorithmic nature; 
• Information structures, the development and analysis of models of information processes and structures;
• Information complexity of algorithms and computations.