Сучасні дослідження зосереджені на розробці та аналізі математичних і обчислювальних моделей систем та інформаційних процесів для різних галузей науки і техніки. Сфери знань включають: теорію автоматів, її застосування та узагальнення; Перевірка моделі та формальні методи специфікації та перевірки поведінки розподілених систем; Моделі даних і сховища даних; Квантова обробка інформації

• Надійність програмних систем (122 - кн)

Публікації за останні роки:

• Shramenko, V., Kuznietcova, V., Zholtkevych, G. Studying Mixed Normalization Strategies of Lambda Terms (2022) CEUR Workshop Proceedings, 3348, pp. 57-68.
• Panchenko, A., Zholtkevych, G. An Approach to Construct Final Random System with Output (2022) Communications in Computer and Information Science, 1698 CCIS, pp. 3-22.
• Chumachenko, D., Chumachenko, T., Meniailov, I., Muradyan, O., Zholtkevych, G. Forecasting of COVID-19 Epidemic Process by Lasso Regression (2021) UkrMiCo 2021 – 2021 IEEE International Conference on Information and Telecommunication Technologies and Radio Electronics, Proceedings, pp. 80-83.
• Panchenko, A., Zholtkevych, G. Coalgebraic Understanding of Random Systems with Output (2021) CEUR Workshop Proceedings, 3013, pp. 296-306.
• Bakirov, V., Chumachenko, D., Chumachenko, T., Lvov, S., Muradyan, O., Zholtkevych, G. Toward reference architecture of control system socio-epidemic processes of emergent infections (2021) CEUR Workshop Proceedings, 3038, pp. 109-115.
• Boyko, D., Chumachenko, D., Chumachenko, T., Lvov, S., Lytovchenko, A., Muradyan, O., Zholtkevych, G. The concept of decisions support system to mitigate the COVID-19 pandemic consequences based on social and epidemic processes intelligent analysis (2021) CEUR Workshop Proceedings, 3003, pp. 55-64.
• Zholtkevych, G., Labzhaniia, M. Coalgebraic Approach to Studying Discrete Systems with Output: The General and Distributed Cases (2021) Communications in Computer and Information Science, 1308, pp. 141-165.
• Zholtkevych, G., Labzhaniia, M. Understanding clock constraints coalgebraically (2020) CEUR Workshop Proceedings, 2732, pp. 29-41.
• Zholtkevych, G., Labzhaniia, M. Understanding safety constraints coalgebraically (2020) CEUR Workshop Proceedings, 2604, pp. 1-19.
• Zholtkevych, G., Muradyan, O., Ohulchanskyi, K., Shelest, S. About One Approach to Modelling Dynamics of Network Community Opinion (2020) Communications in Computer and Information Science, 1175 CCIS, pp. 327-347.
• Shabanov, D., Vladymyrova, M., Leonov, A., Biriuk, O., Kravchenko, M., Mair, Q., Meleshko, O., Newman, J., Usova, O., Zholtkevych, G. Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems) (2020) Communications in Computer and Information Science, 1175 CCIS, pp. 392-414.
• Zholtkevych, G. Event universes: Specification and analysis using Coq proof assistant (2019) CEUR Workshop Proceedings, 2393, pp. 568-576.
• Shabanov, D., Vladymyrova, M., Leonov, A., Biriuk, O., Kravchenko, M., Mair, Q., Meleshko, O., Newman, J., Usova, O., Zholtkevych, G. Simulation as a tool to identify dynamical typology of water frog hemiсlonal population systems (2019) CEUR Workshop Proceedings, 2387, pp. 17-33.
• Zholtkevych, G., Muradyan, O., Ohulchanskyi, K., Shelest, S. Simulating pairwise communication for studying its impact on community public opinion (2019) CEUR Workshop Proceedings, 2387, pp. 34-49.
• Zaretska, I., Zholtkevych, G., Radchenko, A., Minayev, A. Algorithms constructor (2019) CEUR Workshop Proceedings, 2387, pp. 501-506.
• Zholtkevych, G., Polyakovska, N. Machine learning technique for regular pattern detector synthesis: Toward mathematical rationale (2019) CEUR Workshop Proceedings, 2362
• Zholtkevych, G., Polyakova, L., El Zein, H.K. Category Methods for Modelling Logical Time Based on the Concept of Clocks (2019) Communications in Computer and Information Science, 1007, pp. 89-101.

Народився у м. Харків

ОСВІТА

1999 – в Харківському політехнічному університеті захистив докторську дисертацію “Автоматизація проєктування технологічної оснастки: теорія та практика”, спеціальність 05.02.08 – технологія машинобудування; технічні науки

1998 – отримав вчене звання старшого наукового співробітника

1983 – у Харківському державному університеті захистив кандидатську дисертацію “Апроксимативно-скінченні С*-алгебри та марківські стани на них”, спеціальність 01.01.01 – математичний аналіз; фізико-математичні науки

1979 – 1982 – навчався в аспірантурі Харківського дерржавного університету за спеціальністю 01.01.01 – математичний аналіз

1974 – 1979 – навчався на механіко-математичному факультеті Харківського державного університету

1964 – 1974 – навчався у середній школі № 107 школі м. Харкова

РОБОТА
2015 – даний час – на посаді декана факультету математики і інформатики Харківського національного університету імені В.Н. Каразіна
2006 – 2015 рік на посаді декана механіко-математичного факультету Харківського національного університету імені В.Н. Каразіна
2006 – даний час – професор кафедри теоретичної та прикладної інформатики Харківського національного університету імені В.Н. Каразіна (за сумісництвом)
2004 – 2006 рік – завідувач кафедри теоретичної та прикладної інформатики Харківського національного університету імені В.Н. Каразіна
2001 – 2004 рік – професор кафедри вищої математики та інформатики Харківського національного університету імені В.Н. Каразіна
2000 – 2001 рік – професор кафедри теорії механізмів, машин і роботів Харківського національного політехнічного університету
1983 – 2000 – на посадах від провідного інженера до начальника відділеня Харківського науково-дослідного інституту технології машинобудування Міністерства промислової політики України (до 1991 року – Міністерства оборонної промисловості СРСР)

• Стандарт вищої освіти України другого (магістерського) рівня галузі знань 12 Інформаційні технології, спеціальність 122 Комп’ютерні науки. Затверджено та введено в дію наказом Міністерства освіти і науки України від 28.04.2022 р. № 393.
• Стандарт вищої освіти третього рівня (ступінь доктора філософії) галузі знань 12 Інформаційні технології за спеціальністю 122 Комп’ютерні науки. Затверджено та введено в дію наказом Міністерства освіти і науки України від 28.04.2022 р. № 394.

1-й семестр
2-й семестр