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

• моделювання та верифікація програм;
• верифікація та валідація моделей;
• використання формальних методів специфікації та аналізу розподілених систем;
• теорія логічного часу в розподілених програмних та кіберфізичних системах;
• квантові методи обробки інформації

• Вступ до алгоритмів розподілених обчислень (кн дввс)
• Лямбда-числення і функціональне програмування (кн дввс)
• Надійність програмних систем (122 - кн)
• Розробка компіляторів для предметно-орієнтованих мов (кн дввс)
• Теорія категорій для програмістів (кн дввс)

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

• Zholtkevych, G. Simulating Pairwise Communication to Study Opinion Dynamics in Networked Communities / G. Zholtkevych, Y. Lytvynenko // CeurWS. – 2025. – 4191. P. 107–119.
• Zholtkevych, G. Realizability of Event Diagrams and Existence of Logical Clocks / G. Zholtkevych, A. Zozuliia // Cybernetics and Systems Analysis. – 2025. – 61(1). P. 11–20.
• Zholtkevych, G. About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems / G. Zholtkevych, A. Panvchenko // 2023 13th International Conference on Dependable Systems Services and Technologies Dessert 2023. – 2023.
• Zholtkevych, G. Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output / G. Zholtkevych, P. Kovalev, V. Kuznietcova, A. Morozova // Ceur-WS. – 2023. – 3641. P. 59–70.
• 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 школі м. Харкова

РОБОТА

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

• Інформатика для інженерів [Текст] / О. Ю. Соколов [та інш.] ; ред. О. Ю. Соколов, І. Т. Зарецька. – Х. : Факт, 2005. – 424 с.
• Інженерія критичного програмного забеспечения [Текст] : навч. посібник / [Б. М. Конорев та інш.] ; Нац. аерокосм. ун-т ім. М. Є. Жуковського “Харк. авіац. ін-т”. – Харків : ХАІ, 2015. – 67 с.
• Галузевий стандарт вищої освіти за спеціальністю 122 «Комп’ютерні науки» для першого (бакалаврського) рівня вищої освіти / [Т. В. Ковалюк та інш.]. Затверджено наказом МОН України № 962 від 10.07.2019.
• Галузевий стандарт вищої освіти за спеціальністю 122 «Комп’ютерні науки» для другого (магістерського) рівня вищої освіти / [Г. М. Жолткевич та інш.]. Затверджено наказом МОН України № 393 від 28.04.2022.
• Галузевий стандарт вищої освіти за спеціальністю 122 «Комп’ютерні науки» для третього (освітньо-наукового) рівня вищої освіти / [Г. М. Жолткевич та інш.]. Затверджено наказом МОН України № 394 від 28.04.2022.

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