Andrey Nechesov

Building the infrastructure of trust
for global science

I work at the intersection of mathematical logic, blockchain engineering, and scientific publishing. My core thesis: the world needs a global, neutral, verifiable layer for research artefacts — one that does not depend on any single publisher, country, or platform.

My background is in mathematical logic and semantic programming at Sobolev Institute of Mathematics, Novosibirsk — work on Gandy-style fixed-point theorems, the P = L problem, and polynomial-computable representations of formal systems. From there I moved into blockchain theory (axiomatisation of distributed ledgers) and applied AI infrastructure.

Through IAIC FZCO in Dubai I now build the Enigma Blockchain (ENB) — a sovereign chain optimised for journals, peer review, datasets, and conference attendance. The chain provides canonical IDs for research artefacts, transparent editorial governance, and on-chain economics for authors, reviewers, and editors. Alongside the protocol I run editorial initiatives, organise conferences (MathAI, SmartCity, IAIC events), and lead the IAIC global AI strategy.

Research, projects, and platforms

Selected publications

Mathematical logic, semantic programming, blockchain theory, AI infrastructure, digital twins. Affiliated with Sobolev Institute of Mathematics, Novosibirsk. Full bibliography on Google Scholar.

• 2025 51 citations
  Virtual Cities: From Digital Twins to Autonomous AI Societies
  A. Nechesov, I. Dorokhov, J. Ruponen
  IEEE Access, Vol. 13, pp. 13866–13903
• 2024 32 citations
  Empowering Government Efficiency Through Civic Intelligence: Merging AI and Blockchain for Smart Citizen Proposals
  A. Nechesov, J. Ruponen
  Technologies, 12(271)
• 2021 27 citations
  Solution of the Problem P = L
  S. Goncharov, A. Nechesov
  Mathematics, 10(1), p. 113
• 2021 23 citations
  Polynomial Analogue of Gandy's Fixed Point Theorem
  S. Goncharov, A. Nechesov
  Mathematics, 9(17)
• 2023 14 citations
  Axiomatization of Blockchain Theory
  S. Goncharov, A. Nechesov
  Mathematics, 11(13), p. 2966
• 2023 10 citations
  AI-Driven Digital Twins for Smart Cities
  S. Goncharov, A. Nechesov
  Engineering Proceedings, 58(1), p. 94
• 2024 8 citations
  Functional Variant of Polynomial Analogue of Gandy's Fixed Point Theorem
  A. Nechesov, S. Goncharov
  Mathematics, 12(21), p. 3429
• 2024 7 citations
  Learning Theory and Knowledge Hierarchy for Artificial Intelligence Systems
  A. Nechesov
  2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences
• 2023 9 citations
  Semantic Programming and Polynomially Computable Representations
  A.V. Nechesov
  Siberian Advances in Mathematics, 33(1), pp. 66–85
• 2025 2 citations
  One AI, One World: A Global AI Strategy by the International AI Committee (IAIC)
  A.V. Nechesov, S. Barykin
  System Informatics, pp. 77–102
• 2025 2 citations
  Conceptual Framework for Trustworthy AI: Combining Large Language Models with Formal Logic Systems
  A. Nechesov, D. Kondratyev, D. Sviridenko, I. Anureev, N. Garanina, et al.
  MathAI 2025, pp. 93–118
• 2025 4 citations
  Metaverse Architectures: Hypernetwork and Blockchain Synergy
  J. Ruponen, I. Dorokhov, S.E. Barykin, S. Sergeev, A. Nechesov
  First Conference of Mathematics of AI

Get in touch

For collaboration, speaking engagements, editorial board invitations, or partnership inquiries with IAIC and Enigma — reach out below.