НАУКА
укр eng
Викладачі кафедри, аспіранти та студенти ведуть активну наукову роботу, проводять дослідження у самих актуальних та ключових областях розвитку сучасних інформаційних технологій.
На кафедрі діє науковий семінар для аспірантів та магістрів:
Теорія дискретних систем подій ( Theory of discrete event systems).
Керівник: професор Жолткевич Григорій Миколайович.
Напрями наукових досліджень кафедри
Формальні методи для специфікації і аналізу складних систем, включно з великими програмними і кібер-фізичними системами, що охоплює
a. Методи теорії категорій в програмуванні.
b. Теорія розподілених програмних і кібер-фізичних систем.
c. Моделювання мережевих взаємодій.
d. Теорія дискретних систем подій.
e. Рівняння у вільних комутативних моноїдах.
f. Моделювання програмно-керованих мереж (SDN) та розподілених систем, в тому числі, шляхом використання штучного інтелекту.
g. Аналіз росту комп’ютерних мереж.
2. Проєктування інформаційних і програмних систем, що включає
a. Об’єктно-орієнтований дизайн та шаблони. Верифікація сумісності та цілісності дизайну.
b. Методи та інструменти оцінювання якості користувацького інтерфейсу доданків професійного напряму.
c. Теорія та практика реляційних та NoSQL баз даних.
3. Проблеми аналізу даних, включно з
a. Розпізнавання та обробка зображень.
b. Обробка текстів, написаних природною мовою.
c. Методи комп'ютерного зору.
4. Методи “м’яких обчислень”, зокрема
a. Застосування паралельних обчислень в генетичних алгоритмах.
b. Використання штучних нейронних мереж з метою автоматизації проектних робіт у машинобудуванні.
c. Оптимізація інженерних конструкцій та інженерні сервіс-орієнтовані системи.
d. Ідентифікація критичних станів дискретних біологічних систем.
e. Використання методів машинного навчання в медицині.
f. Інтелектуальні інформаційні системи медичної діагностики на основі методів машинного навчання.
g. Дискретно-подієві мультиагентні моделі епідемічних процесів (зокрема COVID-19).
h. Методи машинного навчання у моделюванні та прогнозуванні поведінки ринку.