Head — Associate Professor, Candidate of Physical and Mathematical Science Panchenko T.
Faculty of Computer Science and Cybernetics, Department of Theory and Technology of Programming
The department provides fundamental training in two aspects of knowledge: scientific (theoretical) and practical (technological).
The main area of research of the department is theoretical and applied programming, which is based on explicit programming.
Programming, algorithm theory, mathematical logic, system programming, computational theory, information technology.

Department of Theory and Technology of Programming



3 professors and doctors of sciences, 7 associate professors and 10 candidates of sciences



The staff of the department read 52 normative and special courses



The Department of Programming Theory was established in November 1971.


Full name: Office Research interests
Assoc. Prof. Taras V. Panchenko 611 compositional methods, Internet technologies, database
Prof. Mykola S. Nikitchenko 601 foundations of informatics and programming, mathematical logic, formal methods of software system development, abstract computability
Prof. Anatolii Yu. Doroshenko 602 cluster parallel computing, grid-technology and metakomp’yuterni system, agent-oriented technologies and tools intellectualization programming, krupnomasshabni computing applications (meteorology, ecology, bioinformatics, etc..), digital library automation and scientific research
Prof. Stepan S. Shkilniak 611 logic-mathematical means of program specifications, mathematical logic
Assoc. Prof. Vitalii V. Zubenko 603 basics of computer science and programming, program logic, information modeling, distance learning
Assoc. Prof. Liudmyla L. Omelchuk 227 formal methods of software programming techniques
Assoc. Prof. Ткаченко Олексій Миколайович 603 технології програмування, формальні методи розробки ПЗ, освітні ІТ
Assist. Prof. Nataliia H. Rusina 603 formation of informative competences, development of information systems for distance learning, test tools, research of methods of specification and verification of software systems
Assist. Prof. Andrii V. Kryvolap 611 formal methods, software verification, programmatic logic, category theory
Assist. Prof. Поліщук Наталія Володимирівна 603
Assoc. Prof. Olena V. Shyshatska 603 формальна розробка програм, програмні алгебри, багатозначні логіки
Assist. Prof. Anton O. Svystunov 603 Cloud computing, distributed systems, architecture of software systems, programming technologies
Assoc. Prof. Olha M. Suprun 603 Mathematical modelling of information processes; optimization of algorithms; technologies of steganographic masking of information