Andrey Vitalievich Nechesov, IAPIC-2025, report

Andrey Vitalievich Nechesov is the head of the research department of the Center for Artificial Intelligence of the Novosibirsk State University, and is also a research fellow at the Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences. He is also a candidate of physical and mathematical sciences in the specialty 1.1.5. "Mathematical logic, algebra, number theory and discrete mathematics". Nechesov A.V. is an expert in the field of computability theory, mathematical logic, artificial intelligence, blockchains, cryptocurrencies and smart contracts. Several software solutions based on blockchain technologies and smart contracts have been implemented. Under the leadership of Nechesov A.V. a group of researchers are actively developing such areas as: trusted AI, explainable AI, hybrid AI, the theory of learning intelligent systems, building trusted digital twins, building applied solutions in the field of AI, blockchain and multi-blockchain technologies, decentralized finance, the Web 3.0 direction is actively developing, the direction of semantic programming, the direction of the task approach. Leading works of Nechesov A.V. on the topic of trusted AI: 1. Goncharov, S.; Nechesov, A. Polynomial Analogue of Gandy’s Fixed Point Theorem. Mathematics 2021, 9, 2102. https://doi.org/10.3390/math9172102; 2. Goncharov, S.; Nechesov, A. Solution of the Problem P = L. Mathematics 2022, 10, 113. https://doi.org/10.3390/math10010113; 3. Goncharov, S.; Nechesov, A. Polynomial-Computable Representation of Neural Networks in Semantic Programming. J 2023, 6, 48-57. https://doi.org/10.3390/j6010004; 4. Goncharov, S.; Nechesov, A. Semantic programming for AI and Robotics. IEEE SIBIRCON, 2022, pp. 810-815, https://10.1109/SIBIRCON56155.2022.10017077; 5. Goncharov, S.; Nechesov, A. Axiomatization of Blockchain Theory. Mathematics 2023, 11, 2966. https://doi.org/10.3390/math11132966; 6. Goncharov, S.; Nechesov, A. AI-Driven Digital Twins for Smart Cities. Eng. Proc. 2023, 58, 94. https://doi.org/10.3390/ecsa-10-16223; 7. Goncharov, S.; Nechesov, A. AI-Driven Digital Twins for Smart Cities. Eng. Proc. 2023, 58, 94. https://doi.org/10.3390/ecsa-10-16223; 8. Vityaev, E.E.; Goncharov, S.S.; Gumirov, V.S.; Mantsivoda, A.V.; Nechesov, A.V.; Sviridenko D.I. Task approach: on the way to trusting artificial intelligence. WORLD CONGRESS SYSTEMS THEORY, ALGEBRAIC BIOLOGY, ARTIFICIAL INTELLIGENCE: Mathematical Foundations and Applications SELECTED WORKS; 9. Nechesov, A. About three problems of trusted artificial intelligence. Systems theory, algebraic biology, artificial intelligence: mathematical foundations and applications. 2023. pp. 747-749. https://doi.org/10.18699/sblai2023-04; 10. Nechesov, A.; Goncharov, S. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem. Mathematics 2024, 12, 3429. https://doi.org/10.3390/math12213429.