Department
TTP

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

16

Teachers

3 professors and doctors of sciences, 8 associate professors and 9 candidates of sciences

52

Courses

The staff of the department read 52 normative and special courses

54

Years

The Department of Programming Theory was established in November 1971.

Staff:

Full name: Office Research interests
Assoc. Prof. Taras V. Panchenko 601 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 611 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
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
Assoc. Prof. SHYSHATSKYI ANDRII VIKTOROVYCH 603
Assoc. Prof. Halavai O. 603 Mathematical logic, non-monotonic logics, AI, data analysis, Data Mining, Machine Learning, programming technologies
Assoc. Prof. Tereshchenko Yaroslav 603 Object-oriented programming (lab)Computational geometry and computer graphics (lab)Data bases and Knowledge bases Information technologies Basics of data miningDeep learningComputer vision