Дейнега Олександр Андрійович
Доктор філософії за спеціальністю “Комп’ютерні науки”
oleksandr.deineha@karazin.ua
Основні лекційні курси
-
Факультет математики і інформатики: "Вступ до машинного навчання"
-
Біологічний факультет: "Математичні методи в біології" (заочна форма)
-
Хімічний факультет: "Вища математика" (заочна форма)
-
Хімічний факультет: "Вища математика" (заочна форма)
-
Факультет ГГРТ: "Вища математика"(заочна форма)
Наукові інтереси
-
оптимізація функціональних мов програмування на основі методів штучного інтелекту
Оновні дати
-
У 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.
Доповіді на конференціях
- 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.