Анотований звіт про науково-дослідну роботу "Розробка методів, технологій та засобів автоматизації паралельного програмування із використанням методів обчислювального інтелекту", 3-1-22 (проміжний), № держреєстрації 0117u000734. Київ: Інститут програмних систем НАН України, 2024. 13 с.

Запропонована структура для вбудовування методів логічного програмування та програмування в обмеженнях у мову Scala шляхом побудови логічної предметно-орієнтованої мови навколо уніфікації типізованої логіки на основі монад. Відмінності в можливостях логічних механізмів виражено як підкласи монади уніфікації, що дає змогу генерувати одну реалізацію налаштовуваної уніфікації для вбудовування різних логічних систем у Scala та використовувати вбудовані сторонні проблемно-орієнтовані мови у логічних виразах. Монадичний прикладний програмний інтерфейс надає розробнику програми простий та інтуїтивно зрозумілий інструмент для реалізації власної логіки всередині уніфікації.

Розроблено цифровий двійник на мобільній платформі з метою покращення якості та доступності метеорологічної інформації для мешканців міст. Досліджені основні аспекти створення цифрового двійника: збір та аналіз метеорологічних даних, обробка інформації з датчиків, використання штучних інтелектуальних алгоритмів для прогнозування погодних умов. Результати дослідження підтверджують, що використання цифрового двійника у метеопрогнозуванні дозволяє значно покращити точність прогнозів та забезпечити швидкий доступ до актуальної інформації про погоду.