Areas of Expertise

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

  1. 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.
  1. 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.
  1. 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;
  1. 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.
  1. 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.
  1. Computer graphics and multimedia