Head — Professor, Doctor of Physical and Mathematical Sciences Nikitchenko M.S.
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



4 professors and doctors of sciences, 6 associate professors and 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
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. Viktor M. Volokhov 611 system programming, theory and technology databases, computer networks, information security in computer networks
Assoc. Prof. Vitalii V. Zubenko 603 basics of computer science and programming, program logic, information modeling, distance learning
Assoc. Prof. Volodymyr F. Kuzenko 603 theoretical programming, technology programming, system programming
Assoc. Prof. Taras V. Panchenko 611 compositional methods, Internet technologies, database
Assoc. Prof. Liudmyla L. Omelchuk 611 formal methods of software programming techniques
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. Mariia V. Fedorova 611 mathematical logic, theory of computation