Кафедра
ІС

Завідувач кафедри — професор, доктор фізико-математичних наук Провотар О.І.
Факультет комп’ютерних наук та кібернетики, Кафедра Інформаційних систем
Навчаючись на кафедрі, ви станете кваліфікованим спеціалістом по проектуванню та розробці різного роду програмного забезпечення та інтелектуальних інформаційних систем.
Кафедра інформаційних систем спеціалізується в області комп'ютерних наук, штучного інтелекту та програмної інженерії.
Основи об'єктно-орієнтованого програмування, інформаційні системи, основи криптології, основи комп'ютерної графіки.

Кафедра Інформаційних систем

20

Викладачів

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

56

Курсів

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

27

Років

Кафедра інформаційних систем була створена в травні 1990 року

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

ПІБ: Кабінет Наукові інтереси
Проф. Провотар Олександр Іванович 606 теорія абстрактних обчислювальних структур (теорія категорій), некласичні логіки, біоінформатика, програмування
Проф. Кривий Сергій Лук'янович 605 б теорія автоматів, теорія мереж Петрі, верифікація програмного забезпечення, дискретна математика, теорія складності обчислень, теорія рекурсії, технології створення програмних продуктів, прикладна математична логіка, теорія графів, криптографія
Проф. Єршов Сергій Володимирович 607 методи та технологічні засоби побудови інтелектуальних програмних систем, моделе-орієнтована розробка програмного забезпечення, мультиагентні програмні системи, нечіткі системи, високопродуктивні та розподілені обчислення, методи паралельного програмування
Проф. Стецюк Петро Іванович 607 лінійне та нелінійне програмування, методи мінімізації негладких функцій та їх застосування в блочних, матричних, поліноміальних та булевих задачах оптимізації, математичне та програмне забезпечення прикладних задач оптимізації
Доц. Шевченко Володимир Петрович 226 складність обчислень, розробка спеціалізованих програмних комплексів та інформаційних систем
Доц. Іванов Євген Олександрович 607 інформаційні системи, бази даних, складність обчислень, паралельні обчислення, теорія графів
Доц. Слабоспицька Ольга Олександрівна 607 експертно-аналітичний супровід процесів програмної інженерії, методи та засоби підвищення ефективності програмних проектів, підходи до гарантування якості, насамперед надійності, програмного забезпечення
Доц. Ходзінський Олександр Миколайович 608 дискретна математика, теорія нечітких множин, комбінаторна оптимізація, інтелектуальні інформаційні технології
Доц. Ченцов Олексій Ілліч 608 абстрактні обчислювальні структури, дискретна математика, комп’ютерна алгебра, теорія категорій, параметризоване програмування, реверсна та ре-інженерія програмних систем
Доц. Галкін Олександр Володимирович 607 супералгебри Лі, парасупералгебри, рівняння для частинок з вищими спінами, квантові алгебри, квантова теорія поля
Доц. Верес Максим Миколайович 607 паралельні та розподілені обчислення, методи об’єктно орієнтованого програмування, інформаційні системи, управління інформацією
Доц. Демківський Євген Олександрович 607 моделювання та прогнозування динамічних систем, побудова оптимальних систем підтримки прийняття рішень на основі математичних моделей та сучасних методів управління, технологічні та методологічні аспекти розвитку електронного навчання
Доц. Жереб Костянтин Анатолійович 607 паралельні обчислення, автоматизовані перетворення програм, процеси розробки ПЗ
Доц. Петрушенко Анатолій Миколайович 608 трансформаційний (алгебро-граматичний) метод аналізу та синтезу обчислювальних систем (програм та апаратури) та розробка інструментальної підтримки цього методу, структурна теорія автоматів, комп'ютерні системи штучного інтелекту
Доц. Катеринич Лариса Олександрівна 607 штучний інтелект, web-технології, комп'ютерна графіка та анімація, 3D-моделювання
Доц. Шкільняк Оксана Степанівна 608 логіко-математичні засоби специфікації програм, математична логіка, теоретичні аспекти програмування
Доц. Пашко Анатолій Олексійович 607 теорія випадкових процесів, статистичне моделювання, теорія чисел, захист інформації
Асис. Гришко Юлія Олександрівна 608 мультимножини та їх застосування, теорія програмування
Асис. Ліндер Ярослав Миколайович 608 практична стійкість диференціальних рівнянь та включень, нейромережі, клітинні автомати
Асис. Терлецький Дмитро Олександрович 608 інтелектуальні інформаційні системи, моделі представлення знань, об'єктно-орієнтоване програмування, метапрограмування, узагальнене програмування, програмна інженерія, математична логіка, теорія множин та мультимножин, теорія автоматів, універсальні алгебри