Tkachenko Oleksii Mykolayovych

Education:

• Kirovograd State Pedagogical University, specialty “Mathematics, Informatics” (1991-1996)
• Cherkasy Institute of Engineering and Technology, specialty “Finance” (1998-2000)
• Taras Shevchenko National University, postgraduate study (2001-2004)

– Correctness of programs and programming logic

– Compositional semantics of SQL-like languages

– Software development for mobile platforms

– Computational theory and computer technology

– Tools and programming technologies

1. Burov, O., Lytvynova, S., Lavrov, E., Krylova-Grek, Yu., Orliyk, O., Petrenko, S., Tkachenko, O. Cybersecurity in Educational Networks. Proceedings of the 3rd International Conference on Intelligent Human Systems Integration (IHSI 2020): Integrating People and Intelligent Systems, February 19–21, 2020, Modena, Italy. doi: https://doi.org/10.1007/978-3-030-39512-4 
2. Tkachenko O.M., Myronenko A.R. Iterative modeling of surface pollution dynamics // Energy and Automation. – 2019. – № 3. – P.47-56. doi: http://dx.doi.org/10.31548/energiya2019.03.047 
3. Tkachenko O.M., Kozyatnyk V.V. Web-oriented geospatial service of regional public transport schedule // Computer-integrated technologies: education, science, production. – 2019. – №36. – P.82–87. doi: 10.36910/6775-2524-0560-2019-36-22
4. Tkachenko O.M., Kutsenko V.M. Information system of radiation safety examinations // Power engineering and automation. – 2019. – № 4. – P.44-55. doi: http://dx.doi.org/10.31548/energiya2019.04.044 
5. O. Tkachenko, “Using hybrid e-learning content in the study of programming”, EduAkcja, no. 1 (15), 2018, p. 86-92. URL: https://eduakcja.eu/files/pdf/2018_9.pdf
6. Tkachenko O.M., Baranova T.A. Approaches to validation and verification of satellite data processing software for agromonitoring // Energy and Automation. – 2018. – № 4. – P. 75-81. doi: http://dx.doi.org/10.31548/energiya2018.04.075 
7. M.Vasiukhin, O.Tkachenko, A.Kasim, V. Dolinniy. The Aggregation Technology of Applied Software for Aerial Photography Data Processing to Building Map Databases in Precision Agriculture System // Electronics & Control Systems. – 2015. – Vol.1. – Issue 43. – pp.52-58.