Oleksandr Halavai

Born on August 9, 2001. In 2018, graduated with honors from Central-Town Lyceum of Kryvyi Rih. The same year, enrolled in the Faculty of Computer Science and Cybernetics at Taras Shevchenko National University of Kyiv, majoring in “Computer Science.”

In 2022, obtained a Bachelor’s degree with honors and began studies in the Master’s program at the Faculty of Computer Science and Cybernetics of the same university. In 2024, earned a Master’s degree with honors in “Computer Science.”

Since September 2024, has been working as an assistant professor at the Department of Theory and Technology of Programming, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv. In October 2024, entered the PhD program at the same faculty and started working on the PhD thesis “Nonmonotonic Logics and Their Applications” (scientific advisor – S. S. Shkilniak).

• 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

• Halavai O. M. Opportunities and Challenges of AI-Powered Content Generation. United by Science: Prospects for Interdisciplinary Research: Materials of the X All-Ukrainian Scientific-Practical Conference of Students, Postgraduates, and Young Scientists, Kyiv, November 23–24, 2023 / Taras Shevchenko National University of Kyiv. Kyiv, 2023. pp. 104–106.
• Halavai O. M. Applications of Nonmonotonic Logics in Neural Networks. EDUCATION. YOUTH: Materials of the XVII All-Ukrainian Scientific Conference of Students and Young Scientists, Uman, April 30, 2024 / Pavlo Tychyna Uman State Pedagogical University. Uman, 2024. pp. 51–54.
• Halavai O. M. Autoepistemic Logic: Theory and Prospects in Computer Science. Scientific Collection «InterConf», (196), pp. 375–379. Retrieved from https://archive.interconf.center/index.php/conference-proceeding/article/view/5910.
• Halavai O. M. Nonmonotonic Logics: Classification by Expressiveness. United by Science: Prospects for Interdisciplinary Research: Materials of the XI All-Ukrainian Scientific-Practical Conference of Students, Postgraduates, and Young Scientists, Kyiv, November 21–22, 2024 / Taras Shevchenko National University of Kyiv. Kyiv, 2024. pp. 277–279.