**Areas of Expertise**

Research theoretical, applied, and technological problems in the field of mathematical foundations for informatics, and computer science. Some main research directions:

*Soft computing and high-performance computing*

- Research on soft computing methods such as Neural networks, computational simulation of natural processes;
- Research on high-performance computing methods, methods of using multiple concurrent computing resources, parallel computing, multi-threading, hyper-threading, and multitasking computing;
- Quantum computing.

*Discrete math, combinatorics, and graph theory*

- Studying combinatorial structures appearing in algebraic contexts or applying algebraic techniques in combinatorial problems;
- Research on the graph structure, the mathematical structure used to describe relationships between objects;
- Research on optimization problems on graphs, parameterization algorithms, approximation algorithms, structural properties on graphs, parameters of graphs, etc.

*Code theory, privacy, and information security*

- Variable-length code theory;
- Research on cryptographic systems, cryptanalysis, and anti-cryptanalysis;
- Research risks, and develop solutions in information safety and security;
- Hiding information and applications;

*Data Science*

- Big data, data warehousing, data mining, knowledge discovery, machine learning;
- Large and/or complex data structures for which traditional data processing methods have proved unsuitable;
- Problems related to data mining;
- Search problems (exact, approximate), information extraction.

*Mathematical logic and set theory*

- Research on applications of formal logic in mathematics and computer science theory;
- Research on the set theory using the perspectives of mathematical logic;
- Research on model theory, research theory on mathematical structures such as groups, rings, fields or other algebraic structures, graphs, or other discrete structures using tools of mathematical logic;
- Research on theory of computation using tools of mathematical logic, Turing machines, problems of determinism of algorithms, polynomial derivation, and computational complexity.

*Computer graphics and multimedia*