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.

13

4 professors and doctors of sciences, 6 associate professors and candidates of sciences

52

The staff of the department read 52 normative and special courses

49

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. Dmytro B. Bui | 603 | theory of composite-type software algebras, fixed-point theory, database theory, compositional SQL semantics, modern CASE tools |

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 |