Halavai O.
Associate Professor

Information

Position: Associate Professor
Degree: Магістр комп’ютерних наук
Title:
Room: 603
Phone: (044)521-33-45
E-mail: halavai@knu.ua
Research interests: Mathematical logic, non-monotonic logics, AI, data analysis, Data Mining, Machine Learning, programming technologies

Courses:

Instrumental environments and Programming technologies, bachelor's degree, 2nd year, laboratory classes

Mathematical Logic, bachelor's degree, 2nd year, practical classes

Theory of Algorithms, bachelor's degree, 2nd year, practical classes

System Programming, bachelor's degree, 3rd year, laboratory classes

Basics of Data Mining, bachelor's degree, 4th year, laboratory classes

Development of software for mobile platforms, bachelor's degree, 4th year, laboratory classes

Publications:

1.Галавай О. М. Можливості та виклики генерації контенту засобами ШІ. Об’єднані наукою: перспективи міждисциплінарних досліджень: матеріали X Всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених, м. Київ, 23 – 24 листопада 2023р. / Київський національний університет імені Тараса Шевченка. Київ, 2023. С. 104 – 106.

2.Галавай О. М. Застосування немонотонних логік у нейронних мережах. НАУКА. ОСВІТА. МОЛОДЬ: збірник матеріалів XVII Всеукраїнської наукової конференції студентів та молодих науковців, м. Умань, 30 квітня 2024р. / Уманський державний педагогічний університет імені Павла Тичини. Умань, 2024. С. 51 – 54.

3.Галавай О. М. Автоепістемічна логіка: можливості та перспективи застосування у Computer Science. Молода наука Волині: пріоритети та перспективи досліджень: матеріали XVIII Міжнародної науково-практичної конференції студентів і аспірантів, м. Луцьк, 14 – 15 травня 2024р. / Волинський національний університет імені Лесі Українки. Луцьк, 2024, С. 336 – 338.

4.Галавай О. М. Автоепістемічна логіка: теорія та перспективи застосування у Computer Science. Scientific Collection «InterConf», (196), pp. 375–379. Retrieved from https://archive.interconf.center/index.php/conference-proceeding/article/view/5910

Curriculum Vitae