Pillar A
Science & Research
Foundational mathematical physics, relational graph models, variational field equations, and interactive theorem proving in Lean 4 across discrete metric-measure spaces.
I am an independent researcher and enterprise systems architect based in Sofia, working across mathematical physics, cybernetics, computation, and software architecture. This page shares my personal research journey, engineering background, and core scientific motivations.
Figure 5.1
Dual-Pillar Matrix: Symmetrical integration of mathematical physics research with enterprise solutions architecture and cybernetic governance.ACTIVE CANONICAL
Maps the symmetrical relationship between foundational mathematical physics research and professional enterprise solutions architecture.
1. Why I Began: The Question Behind the Journey
I began with a simple question: how does identity survive transformation?
In physics, conservation laws protect charge and energy while particles change. In mathematics, topological invariants persist while shapes deform. In distributed systems, state integrity survives network partitions.
That inquiry led me across theoretical physics, discrete mathematics, quantum technologies, and software engineering. Over more than fifteen years, some parts of this work matured into formal mathematical proofs. Some became high-precision calculations and empirical observational bounds. Some became hardware blueprints and metrological protocols. Some failed decisive tests and were retired. And some remain active, unproven hypotheses.
This site is a transparent map of that intellectual journey. It is intentionally personal: it documents how I think, what I study, what I have actually shown, and what remains unresolved.
2. How Engineering Changed How I Approach Physics
Parallel to my scientific research, I have spent over fifteen years designing and deploying enterprise software architectures, distributed cloud topologies, and deterministic runtime systems across international technology organizations.
Engineering changes how you view theory. In software, an architecture isn't verified because an architectural diagram looks elegant; it is verified when it survives edge cases, race conditions, network splits, and real-world load.
When I brought that engineering discipline back into mathematical physics, it created an instinct for epistemic rigor. If a theoretical model cannot be computed, simulated, bounded by measurement, or checked for internal consistency, it is not yet physics—it is poetry. The discipline of writing invariant-preserving distributed systems directly shaped my approach to physics: every concept must declare its operational assumptions, its interface boundaries, and its failure modes.
Pillar B
Systems & Engineering
15+ years of enterprise solutions architecture, high-throughput cloud topologies, deterministic CI verification harnesses, and sovereign state machines.
3. Why Formal Proofs, Negative Results, and Reproducibility Matter
In theoretical physics, errors can hide behind dense notation and optimistic approximations for decades. That is why I rely on three explicit guardrails:
- Machine-Checked Proofs: I use interactive theorem provers like Lean 4 to formalize relational theorems. When a theorem compiles under the pinned Lean 4 kernel with zero
sorry, the reasoning is completely verified. It cannot hide unstated assumptions. - Negative Results as First-Class Science: When a theoretical model fails a physical test—such as when a scalar gravity realization failed solar photon deflection, or when high-precision spectroscopy bounded a candidate interaction—that failure is not hidden. Falsification is how science calibrates its maps.
- Full Computational Traceability: Every calculation, Monte Carlo noise simulation, and metrology budget on this site is paired with reproduction code, raw data tables, and compiler receipts.
4. The Representational Lens: All There Is (ATI)
To keep theoretical models from confusing themselves with reality, I developed the All-There-Is Recursive Constitutional Architecture (ATI-RCA):
- Map vs. Territory: Enforces an absolute distinction between reality itself (the territory, which we call ATI) and our mathematical models of it (the maps).
- Demarcation: Common representation in a framework is not a common physical derivation. A model can be described without claiming that the framework magically derives its physical laws.
- Explore the Lens: Read All There Is and inspect the Metamodel Specification.
5. What I Am Trying to Learn Next
My current research focuses on five open, falsifiable questions:
- Discrete Geometric Convergence: Can discrete relation-bearing graphs rigorously converge to continuous Lorentzian spacetime manifolds without introducing unphysical ghost instabilities?
- Precision Spectroscopic Constraints: How tightly can published atomic hydrogen and deuterium measurements constrain hypothetical short-range scalar interactions?
- Thermal Metrology Limits: Can micro-structured surfaces produce measurable differential emissivity advantages in controlled vacuum radiometry under GUM uncertainty standards?
- Quantum Noise Bottlenecks: What real-time reloading and atom loss thresholds are required for LDPC codes to achieve fault-tolerant error correction in neutral-atom tweezer arrays?
- Epistemic Observer Grammar: How can an embedded observer subsystem be mathematically formalized without importing metaphysical assumptions about consciousness?
6. Academic Background & Credentials
Verified academic history, institutional records, and publication archives:
Academic RecordCV & Credentials
Curriculum Vitae
Detailed chronological record of academic qualifications, publications, conference presentations, and verified technical certifications.
Corpus ProvenanceCopyright & Legal
Authorship & Lineage
Institutional lineage, copyright declarations, intellectual property boundaries, and permanent archival records.
7. Institutional Research at GILC
I founded the Global Institute of Logic & Cybernetics (GILC) to give the larger research programme an institutional home. This site remains my personal map of the ideas, calculations, experiments, and systems I work on.
GILC serves as the institutional home for:
- Multi-investigator research programmes across physics, computation, and cybernetics;
- Collaborative laboratory outreach with university experimental groups;
- Comprehensive institutional programme registries, governance charters, and engineering roadmaps.
8. Direct Contact
Inquiries regarding academic collaboration, independent peer review, experimental testbeds, or architectural consultation can be directed via the Contact Portal.