Формальні методи для специфікації і аналізу складних систем, включно з великими програмними і кібер-фізичними системами, що охоплює
- Методи теорії категорій в програмуванні
- Теорія розподілених програмних і кібер-фізичних систем
- Моделювання мережевих взаємодій
- Теорія дискретних систем подій
- Рівняння у вільних комутативних моноїдах
- Моделювання програмно-керованих мереж (SDN) та розподілених систем, в тому числі, шляхом використання штучного інтелекту
- Аналіз росту комп’ютерних мереж
Проєктування інформаційних і програмних систем, що включає
- Об’єктно-орієнтований дизайн та шаблони. Верифікація сумісності та цілісності дизайну
- Методи та інструменти оцінювання якості користувацького інтерфейсу доданків професійного напряму
- Теорія та практика реляційних та NoSQL баз даних
Проблеми аналізу даних, включно з
- Розпізнавання та обробка зображень
- Обробка текстів, написаних природною мовою
- Методи комп’ютерного зору
Методи “м’яких обчислень”, зокрема
- Застосування паралельних обчислень в генетичних алгоритмах
- Використання штучних нейронних мереж з метою автоматизації проектних робіт у машинобудуванні
- Оптимізація інженерних конструкцій та інженерні сервіс-орієнтовані системи
- Ідентифікація критичних станів дискретних біологічних систем
- Використання методів машинного навчання в медицині
- Інтелектуальні інформаційні системи медичної діагностики на основі методів машинного навчання
- Дискретно-подієві мультиагентні моделі епідемічних процесів (зокрема COVID-19)
- Методи машинного навчання у моделюванні та прогнозуванні поведінки ринку