Formal methods for specification and analysis of complex systems, including large software and cyber-physical systems, covering
- Category theory methods in programming
- Theory of distributed software and cyber-physical systems
- Modeling of network interactions
- Theory of discrete event systems
- Equations in free commutative monoids
- Modeling of software-defined networks (SDN) and distributed systems, including through the use of artificial intelligence
- Analysis of computer network growth
Design of information and software systems, including
- Object-oriented design and patterns. Verification of design compatibility and integrity
- Methods and tools for evaluating the quality of user interfaces of professional applications
- Theory and practice of relational and NoSQL databases
Problems of data analysis, including
- Image recognition and processing
- Text processing written in natural language
- Methods of computer vision
Методи “м’яких обчислень”, зокрема
- Застосування паралельних обчислень в генетичних алгоритмах
- Використання штучних нейронних мереж з метою автоматизації проектних робіт у машинобудуванні
- Оптимізація інженерних конструкцій та інженерні сервіс-орієнтовані системи
- Ідентифікація критичних станів дискретних біологічних систем
- Використання методів машинного навчання в медицині
- Інтелектуальні інформаційні системи медичної діагностики на основі методів машинного навчання
- Дискретно-подієві мультиагентні моделі епідемічних процесів (зокрема COVID-19)
- Методи машинного навчання у моделюванні та прогнозуванні поведінки ринку