3 професорів та докторів наук, 8 доцентів та 9 кандидатів наук
Співробітники кафедри читають 52 нормативних та спеціальних курсів
Кафедра теорії програмування була створена у листопаді 1971 року.
| ПІБ: | Кабінет | Наукові інтереси |
|---|---|---|
| Доц. Панченко Тарас Володимирович | 601 | композиційні методи, інтернет-технології, бази даних |
| Проф. Нікітченко Микола Степанович | 601 | формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність |
| Проф. Дорошенко Анатолій Юхимович | 602 | кластерні паралельні обчислення, grid-технології і «хмарні» системи, агентно-орієнтовані технології та засоби інтелектуалізації програмування, крупномасшабні прикладні обчислення (метеорологія, екологія), автоматизація наукових досліджень |
| Проф. Шкільняк Степан Степанович | 611 | логіко-математичні засоби специфікацій програм, математична логіка |
| Доц. Зубенко Віталій Володимирович | 611 | основи інформатики та програмування, програмні логіки, інформаційне моделювання, дистанційне навчання |
| Доц. Омельчук Людмила Леонідівна | 227 | формальні методи розробки програм, технології програмування |
| Доц. Ткаченко Олексій Миколайович | 603 | технології програмування, формальні методи розробки ПЗ, освітні ІТ |
| Доц. Русіна Наталія Геннадіївна | 603 | формування інформатичних компетентностей, розробка інформаційних систем для дистанційного навчання, тестовий інструментарій, дослідження методів специфікації та верифікації програмних систем |
| Асис. Криволап Андрій Володимирович | 611 | формальні методи, верифікація програмного забезпечення, програмні логіки, теорія категорій |
| Доц. Шишацька Олена Володимирівна | 603 | формальна розробка програм, програмні алгебри, багатозначні логіки |
| Асис. Свистунов Антон Олександрович | 603 | хмарні обчислення, розподілені системи, архітектура програмних систем, технології програмування |
| Доц. Супрун Ольга Миколаївна | 603 | Математичне моделювання інформаційних процесів; оптимізація алгоритмів; технології стеганографічного маскування інформації |
| Асис. Шишацький Андрій Вікторович | 603 | |
| Асис. Галавай Олександр Миколайович | 603 | Математична логіка, немонотонні логіки, штучний інтелект, аналіз даних, Data Mining, машинне навчання, технології програмування. |
| Асис. Терещенко Ярослав Васильович | 603 | Штучний інтелект, комп’ютерний зір, машинне навчання, CV/ML/DL, RL, 3D реконструкція, генеративні моделі, дифузійні процеси, object detection, panoptic segmentation, NN optimization, transformers, real-time object tracking, SLAM, NeRF, Gaussian splatting, OCR, NLP, ViT, Motion analysis, Sensor fusion |
