Галавай Олександр Миколайович

Народився 9 серпня 2001 року. В 2018 році закінчив Криворізький Центрально-Міський ліцей з відзнакою. Того ж року вступив на факультет комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка за спеціальністю «Комп’ютерні науки».

В 2022 році здобув освітній ступінь бакалавра з відзнакою та розпочав навчання на магістратурі факультету комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка. В 2024 році здобув освітній ступінь магістра з відзнакою за спеціальністю «Комп’ютерні науки».

З вересня 2024 року працює асистентом катедри теорії та технології програмування факультету комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка. В жовтні 2024 року вступив до аспірантури цього ж факультету та розпочав роботу над дисертацією «Немонотонні логіки та їх застосування» (науковий керівник – Шкільняк С. С.).

• Інструментальні середовища та технології програмування, бакалаври, 2 курс, лабораторні заняття
• Математична логіка, бакалаври, 2 курс, практичні заняття
• Теорія алгоритмів, бакалаври, 2 курс, практичні заняття
• Системне програмування, бакалаври, 3 курс, лабораторні заняття
• Розробка ПЗ під мобільні платформи, бакалаври, 4 курс, лабораторні заняття
• Основи Data Mining, бакалаври, 4 курс, лабораторні заняття

• Галавай О. М. Можливості та виклики генерації контенту засобами ШІ. Об’єднані наукою: перспективи міждисциплінарних досліджень: матеріали X Всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених, м. Київ, 23 – 24 листопада 2023р. / Київський національний університет імені Тараса Шевченка. Київ, 2023. С. 104 – 106.
• Галавай О. М. Застосування немонотонних логік у нейронних мережах. НАУКА. ОСВІТА. МОЛОДЬ: збірник матеріалів XVII Всеукраїнської наукової конференції студентів та молодих науковців, м. Умань, 30 квітня 2024р. / Уманський державний педагогічний університет імені Павла Тичини. Умань, 2024. С. 51 – 54.
• Галавай О. М. Автоепістемічна логіка: теорія та перспективи застосування у Computer Science. Scientific Collection «InterConf», (196), pp. 375–379. Retrieved from https://archive.interconf.center/index.php/conference-proceeding/article/view/ 5910
• Галавай О. М. Немонотонні логіки: класифікація за виразністю. Об’єднані наукою: перспективи міждисциплінарних досліджень: матеріали XI Всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених, м. Київ, 21 – 22 листопада 2024р. / Київський національний університет імені Тараса Шевченка. Київ, 2024. С. 277 – 279.