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 |
