Current research is focused on developing and analysing mathematical and computing models of systems and information processes for the different areas of science and technique. Areas of expertise include: Automata Theory, Its Applications and Generalisations; Model Checking and Formal Methods for Specification and Verification Behaviour of Distributed Systems; Data Models and Datastores; Quantum Information Processing

• Software reliability (122 - cs)

Publications in recent years:

• 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.

He was born in Kharkiv
EDUCATION
1999 – Doctoral thesis “Computer-aid design of technological equipment: theory and practice”, specialty 05.02.08 – mechanical engineering technology; technical sciences at Kharkiv Polytechnical University
1998 – received the academic title of senior researcher
1983 – Candidate thesis “Approximately finite C*-algebras and Markov states on them”, specialty 01.01.01 – mathematical analysis; physical and mathematical sciences at Kharkiv State University
1979 – 1982 – studied at Kharkiv State University graduate school, majoring in 01.01.01 – mathematical analysis
1974 – 1979 – studied at the Mechanics and Mathematics Faculty of Kharkiv State University
1964 – 1974 – studied at secondary school No. 107 of the Kharkiv school
WORK
2015 – present – in the position of dean of the Faculty of Mathematics and Computer Science of V.N. Karazin Kharkiv National University
2006 – 2015 at the position of dean of the Faculty of Mechanics and Mathematics of V.N. Karazin Kharkiv National University
2006 – present – Professor of the Department of Theoretical and Applied Computer Science of V.N. Karazin Kharkiv National University (part-time)
2004 – 2006 – Head of the Department of Theoretical and Applied Computer Science of V.N. Karazin Kharkiv National University
2001 – 2004 – professor of the Department of Higher Mathematics and Informatics V.N. Karazin Kharkiv National University
2000 – 2001 – Professor of the Department of Theory of Mechanisms, Machines and Robots of the Kharkiv National Polytechnic University
1983 – 2000 – in the positions from the leading engineer to the Branch director of the Kharkiv Research Institute of Machine Building Technology of the Ministry of Industrial Policy of Ukraine (until 1991 – the Ministry of Defense Industry of the USSR)

1st semester
2nd semester