Postgraduate Student of the Department of Information Systems of the USUCT SEI Kyrylo Shapovalov Defended His Dissertation in Computer Science
On September 9, 2026, a public defense of the dissertation of Kyrylo Ihorovych Shapovalov, a postgraduate student of the Department of Information Systems of the Educational and Research Institute “Ukrainian State University of Chemical Technology”, took place at the Ukrainian State University of Science and Technologies.
The dissertation entitled “Intelligent System for Verifying Solutions Based on the Formal Interpretation of Mathematical Formulas” was submitted for the degree of Doctor of Philosophy in the field of knowledge 12 “Information Technologies”, specialty 122 “Computer Science”.
The scientific supervisor of the research was Dmytro Hehemonovych Zelentsov, Doctor of Technical Sciences, Professor of the Department of Information Systems of the SEI “Ukrainian State University of Chemical Technology” of USUST.
The following members joined the one-time specialized academic council:
- Chair of the one-time academic council — Anton Ihorovych Huda, Doctor of Technical Sciences, Associate Professor, Professor of the Department of Information Technologies and Systems of the SEI “Dnipro Metallurgical Institute” of the Ukrainian State University of Science and Technologies;
- Reviewer — Viktor Ivanovych Shynkarenko, Doctor of Technical Sciences, Professor, Professor of the Department of Computer Information Technologies of the SEI “Dnipro Institute of Infrastructure and Transport” of the Ukrainian State University of Science and Technologies;
- Reviewer — Larysa Ivanivna Korotka, Candidate of Technical Sciences, Associate Professor, Associate Professor of the Department of Information Systems of the SEI “Ukrainian State University of Chemical Technology” of the Ukrainian State University of Science and Technologies;
- Official opponent — Yevhen Yevhenovych Fedorov, Doctor of Technical Sciences, Professor, Professor of the Department of Statistics and Applied Mathematics of Cherkasy State Technological University, Cherkasy;
- Official opponent — Larysa Serhiivna Koriashkina, Doctor of Technical Sciences, Professor, Professor of the Department of Systems Analysis and Management of Dnipro University of Technology.
In his dissertation, Kyrylo Shapovalov developed an intelligent system for verifying solutions based on the formal interpretation of mathematical formulas. The system provides automatic generation of individual mathematical tasks, supports entering answers in the form of analytical expressions, and enables automated verification of their correctness using numerical methods.
The proposed approach provides for assessing knowledge of higher mathematics without using static task banks. Instead, the system algorithmically generates tasks according to formalized rules and verifies analytical answers.
One of the features of the development is taking into account mathematically equivalent forms of presenting answers. For the analysis of mathematical expressions, their formal representation and abstract syntax trees are used, making it possible to determine the structure of an expression and perform its further algorithmic processing. Numerical verification makes it possible to compare different forms of writing analytical expressions based on the results obtained.
The developed approach provides automated verification of tasks in differential and integral calculus and also contributes to improving the objectivity of assessing learning outcomes. The formal representation of mathematical expressions, algorithmic analysis, and numerical verification ensure the reproducibility and reliability of the verification procedure.
The research results can be integrated into distance learning systems, automated educational platforms, and information systems to support and automate the educational process.
Following an open vote, the members of the one-time specialized academic council unanimously supported awarding Kyrylo Ihorovych Shapovalov the degree of Doctor of Philosophy.
We congratulate Kyrylo Ihorovych and his scientific supervisor, Dmytro Hehemonovych, on the successful defense of the dissertation and wish them new scientific results, research achievements, and professional development.
The dissertation materials and documents of the USUST one-time specialized academic council are available via the link