The center for computer science and computing
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:
