Основні лекційні курси
-
Факультет математики і інформатики: "Вступ до машинного навчання"
-
Біологічний факультет: "Математичні методи в біології" (заочна форма)
-
Хімічний факультет: "Вища математика" (заочна форма)
-
Хімічний факультет: "Вища математика" (заочна форма)
-
Факультет ГГРТ: "Вища математика"(заочна форма)
Наукові інтереси
-
оптимізація функціональних мов програмування на основі методів штучного інтелекту
Оновні дати
-
У 2018 році здобув ступінь бакалавра з інформатики у Харківському національному університеті імені В. Н. Каразіна. Продовжив навчання в магістратурі за спеціальністю "Комп’ютерні науки" на факультеті математики і інформатики.
-
Під час другого курсу магістратури навчався у Франції в Університеті Лазурового Берега (Université Côte d’Azur) за програмою подвійних дипломів.
-
У 2020 році отримав подвійний диплом магістра та вступив до аспірантури ХНУ ім. В. Н. Каразіна за спеціальністю "Комп’ютерні науки".
-
У грудні 2024 року успішно завершив аспірантуру та здобув науковий ступінь доктора філософії (PhD).
Публікації
- Deineha, O., Donets, V., & Zholtkevych, G. (2024). The approach development of data extraction from lambda terms. Eastern-European Journal of Enterprise Technologies.
- Deineha, O. (2024). Supervised data extraction from transformer representation of Lambda-terms. Radioelectronic and Computer Systems, 2024(2), 19-29.
- Deineha O. The Clustering of Lambda Terms by Using Embeddings. Вісник Харківського національного університету імені В.Н. Каразіна, сер. «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління». 2023. вип. 59. С.16-23.
- Deineha, O. (2024). Lambda calculus term reduction: Evaluating LLMS’ predictive capabilities. Information Technology and Society, 1(12), 51-55.
- Arshava O.O., Deinega O.A., Panchenko A.S., Zhovtonizhko I.M. Digital technologies in education: challenges, opportunities, implementation experience // Scientific innovations and advanced technologies. 2025. Issue 7(47). P. 1505-1517. (Professional publication of category B, ISSN 2786-5274
- Zhovtonizhko I.M., Arshava O.O., Deineha O.A. Training of masters of secondary education on the basis of a classical university: experience of implementing the educational and professional program "Mathematics and Informatics" // Actual issues in modern science: a journal. Issue 7(37). Kyiv, 2025. P. 887-900. (Professional publication of category B, ISSN 2786-6300
- Використання інтерактивних симуляцій для візуалізації математичних понять / Аршава О.О., Дейнега О.А., Панченко А.С. // Наука і техніка сьогодні, 7(48), 2025. С. 2066-2084
- Deineha, O., Arshava, O., & Zhovtonizhko, I. (2025). Evaluation of human and AI cooperation in pair programming on the example of CodeLlama and GPT-4. Information Technologies and Computer Engineering, 22(2), 47-62.
Доповіді на конференціях
- Deineha, O., Donets, V., Zholtkevych, G. (2023). On Randomization of Reduction Strategies for Typeless Lambda Calculus. In: Antoniou, G., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2023. Communications in Computer and Information Science, vol 1980. Springer, Cham.
- Deineha, O., Donets, V., & Zholtkevych, G. (2023). Estimating Lambda-Term Reduction Complexity with Regression Methods. International Conference "Information Technology and Interactions".
- Deineha, O., Donets, V., & Zholtkevych, G. (2023). Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps. International Workshop of IT-professionals on Artificial Intelligence.
Links to scientific bases
