Head — Professor, Doctor of Physical and Mathematical Sciences Provotar O.I.
Faculty of Computer Science and Cybernetics, Department of Intelligent Software Systems
Studying at the department, you will become a qualified specialist in the design and development of various types of software and intelligent information systems.
The Chair of Intelligent Software Systems specializes in Computer Science, Artificial Intelligence and Software Engineering.
Fundamentals of object-oriented programming, information systems, basics of cryptology, basics of computer graphics.

Department of Intelligent Software Systems



4 professors and doctors of sciences, 12 associate professors and 3 candidates of sciences



Employees of the department read 57 normative and special courses



The Department of Information Systems was established in May 1990


Full name: Office Research interests
Prof. Oleksandr I. Provotar 606 theory of abstract computing structures (category theory), non-classical logics, bioinformatics, programming
Prof. Serhii V. Yershov 608 methods and technological tools for constructing intelligent software systems, model-driven software development, multi-agent software systems, fuzzy systems, high-performance and distributed computing, methods of parallel programming
Prof. Serhii L. Kryvyi 605 б automata theory, theory of Petri nets, software verification, discrete mathematics, computational complexity theory, recursion theory, technology of software creation, applied mathematical logic, graph theory, cryptography
Prof. Petro I. Stetsyuk 605 linear and nonlinear programming, methods for minimizing nonsmooth functions and their applications in block, matrix, polynomial and boolean optimization problems, mathematical and software of applied optimization problems
Assoc. Prof. Maksym M. Veres 607 parallel and distributed computing, methods of object-oriented programming, information systems, information management
Assoc. Prof. Oleksandr V. Halkin 608 Lie superalgebras, para-superalgebras, equations for particles with higher spins, quantum algebras, quantum field theory
Assoc. Prof. Ievgen O. Demkivskyi 607 modeling and prediction of dynamic systems, construction of optimal decision-making support systems based on mathematical models and modern methods of management, technological and methodological aspects of e-learning
Assoc. Prof Yevhen O. Ivanov 607 information systems, data bases, computational complexity, parallel computing, graph theory
Assoc. Prof. Larysa O. Katerynych 608 artificial Intelligence, web-technology, computer graphics and animation, 3D-modeling
Assoc. Prof. Anatolii M. Petrushenko 607 transformation (grammatical-algebraic) method of analysis and synthesis of computing systems (software and hardware) and development supporting tools, analysis and synthesis of organizational and technical management systems based on workflow, computer systems of artificial intelligence
Assoc. Prof. Olha O. Slabospytska 607 expert and analytical support of processes of software engineering, methods and tools for improving of efficiency of software projects, approaches to quality reliability and assurance of software
Assoc. Prof. Oleksii I. Chentsov 608 discrete mathematics, category theory, type systems, generic programming, systems programming, reverse engineering and reengineering of software systems
Assoc. Prof. Volodymyr P. Shevchenko 226 computational complexity, development of specialized software systems, management of information systems, presentation design
Assoc. Prof. Oksana S. Shkilniak 608 logical-mathematical tools of programs specification, mathematical logic, theoretical aspects of programming
Assist. Prof. Yulia O. Hryshko 608 multisets and their applications, theory of programming
Assist. Prof. Kostiantyn A. Zhereb 607 parallel computing, automated and semi-automated program transformation, software development processes
Assist. Prof. Iaroslav M. Linder 607 practical stability of differential equations and inclusions, neural networks, cellular automata
Assist. Prof. Viktor O. Stovba 608 Субградієнтні методи з перетворенням простору, r-алгоритми, мова моделювання AMPL.
Assist. Prof. Oleksandr M. Khodzinskyi 607 discrete mathematics, theory of fuzzy sets, combinatorial optimization, intelligent information technology