Кафедра
ТТП

Завідувач кафедри — професор, доктор фізико-математичних наук Нікітченко М.С.
Факультет комп’ютерних наук та кібернетики, Кафедра Теорії та технології програмування
Кафедра надає фундментальну підготовку у двух аспектах знань: науковому (теоретичному) та практичному (технологічному).
Головним напрямком наукових досліджень кафедри є теоретична та прикладна програмологія, основу якої становить експлікативне програмування.
Програмування, теорія алгоритмів, математична логіка, системне програмування, теорія обчислень, інформаційні технології.

Кафедра Теорії та технології програмування

14

Викладачів

4 професори та докторів наук, 6 доцентів та кандидатів наук

52

Курси

Співробітники кафедри читають 52 нормативних та спеціальних курсів

46

Років

Кафедра теорії програмування була створена у листопаді 1971 року.

Штат кафедри:

ПІБ: Кабінет Наукові інтереси
Проф. Нікітченко Микола Степанович 601 формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність
Проф. Дорошенко Анатолій Юхимович 602 кластерні паралельні обчислення, grid-технології і «хмарні» системи, агентно-орієнтовані технології та засоби інтелектуалізації програмування, крупномасшабні прикладні обчислення (метеорологія, екологія), автоматизація наукових досліджень
Проф. Буй Дмитро Борисович 603 теорія програмних алгебр композиційного типу, теорія нерухомих точок, теорія баз даних, композиційна семантика мови SQL, сучасні CASE-засоби
Проф. Шкільняк Степан Степанович 611 логіко-математичні засоби специфікацій програм, математична логіка
Доц. Бойко Борис Іванович 602 автоматизація конструювання прикладних систем
Доц. Волохов Віктор Миколайович 611 системне програмування; теорія та технології баз даних; комп'ютерні мережі; безпека інформації в комп'ютерних мережах
Доц. Зубенко Віталій Володимирович 603 основи інформатики та програмування, програмні логіки, інформаційне моделювання, дистанційне навчання
Доц. Кузенко Володимир Федорович 603 теоретичне програмування, технології програмування, системне програмування
Доц. Панченко Тарас Володимирович 611 композиційні методи, інтернет-технології, бази даних
Доц. Омельчук Людмила Леонідівна 611 формальні методи розробки програм, технології програмування
Асис. Россада Тетяна Володимирівна 603 формальні мови, коректність програм, обробка даних, аналіз даних та текстів
Асис. Русіна Наталія Геннадіївна 603 формування інформатичних компетентностей у майбутніх правознавців, тестовий інструментарій, розробка інформаційних систем для дистанційного навчання, дослідження методів специфікації та верифікації програмних систем
Асис. Криволап Андрій Володимирович 611 формальні методи, верифікація програмного забезпечення, програмні логіки, теорія категорій
Асис. Федорова Марія Вікторівна 611 теорія груп, автомати, графи Шраєра