Profile
Mathematical-logic researcher and AI-verification specialist. I design and independently audit large-scale AI systems — city-scale digital twins, autonomous multi-agent deployments, and government-efficiency programs — and build the formal + factual methods (the ENIGMA Axiom engine) that check what AI produces. IEEE Access author; founder and owner of a licensed Dubai advisory company.
Appointments
2026 – present
Founder & OwnerIAIC AI Research & Trading FZCO — IFZA Free Zone, Dubai, UAE (AI Research & Consultancies)
present
Head of Research, AI CenterUniversity AI research center — trustworthy AI, formal methods, applied AI infrastructure
present
Chairman, IAICInternational AI initiatives; conference & editorial programs (MathAI, SmartCity, IAIC)
Education
PhD
Doctor of Philosophy — Mathematical LogicSemantic programming, polynomial computability; Sobolev Institute of Mathematics lineage, Novosibirsk
Areas of expertise
AI verification & trustworthy AI — formal (Z3/SMT) + multi-LLM factual checking; the ENIGMA Axiom engine.
Smart cities & digital twins — city-scale simulation, autonomous urban AI societies.
Autonomous multi-agent systems — task-based cognitive architectures, coordination & scale failure modes.
AI government & civic intelligence — AI + verifiable records for public-administration efficiency.
Mathematical logic — P = L, polynomial analogues of Gandy's fixed-point theorem.
Semantic programming — polynomially-computable representations of formal systems.
Selected publications
2026
The AGI-Powered Metaverse: A Decentralized Task-Based Cognitive Architecture
A. Nechesov, J. Ruponen
IEEE Access
new
2025
Virtual Cities: From Digital Twins to Autonomous AI Societies
A. Nechesov, I. Dorokhov, J. Ruponen
IEEE Access, Vol. 13, pp. 13866–13903
51 cit.
2025
Conceptual Framework for Trustworthy AI: Combining LLMs with Formal Logic Systems
A. Nechesov, D. Kondratyev, D. Sviridenko, I. Anureev, N. Garanina, et al.
MathAI 2025, pp. 93–118
4 cit.
2025
One AI, One World: A Global AI Strategy by the International AI Committee (IAIC)
A. V. Nechesov, S. Barykin
System Informatics, pp. 77–102
2 cit.
2024
Empowering Government Efficiency Through Civic Intelligence: Merging AI and Blockchain
A. Nechesov, J. Ruponen
Technologies, 12(271)
32 cit.
2024
Functional Variant of Polynomial Analogue of Gandy's Fixed Point Theorem
A. Nechesov, S. Goncharov
Mathematics, 12(21), p. 3429
8 cit.
2024
Learning Theory and Knowledge Hierarchy for Artificial Intelligence Systems
A. Nechesov
IEEE Int. Multi-Conference on Engineering, Computer & Information Sciences
7 cit.
2023
Axiomatization of Blockchain Theory
S. Goncharov, A. Nechesov
Mathematics, 11(13), p. 2966
14 cit.
2023
Semantic Programming and Polynomially Computable Representations
A. V. Nechesov
Siberian Advances in Mathematics, 33(1), pp. 66–85
9 cit.
2023
AI-Driven Digital Twins for Smart Cities
S. Goncharov, A. Nechesov
Engineering Proceedings, 58(1), p. 94
10 cit.
2021
Solution of the Problem P = L
S. Goncharov, A. Nechesov
Mathematics, 10(1), p. 113
27 cit.
2021
Polynomial Analogue of Gandy's Fixed Point Theorem
S. Goncharov, A. Nechesov
Mathematics, 9(17)
23 cit.
Full bibliography — Google Scholar →
Bibliometrics
247Citations
9h-index
7i10-index
21+Publications
Conferences organized
annual
MathAIMathematics & artificial intelligence
2026
SmartCityDigital twins & autonomous urban AI — Dubai
ongoing
IAIC eventsTrustworthy-AI research community
Advisory
Available for advisory engagements in AI verification, smart cities, multi-agent systems and government AI — contracted and invoiced through IAIC AI Research & Trading FZCO (Dubai). See nechesov.com to book a consultation.