-Security: Establishes a 10^38 Joule physical floor (kappa >= 804 bits) derived from Landauer’s Principle and the Margolus-Levitin limit.
Infrastructure: Targets 2GB RAM edge devices using BFT-MESI cache coherence.
-Verification: Formally specified in TLA+; preliminary TLC verification completed for minimal configurations (n=4, f=1).
-Economics: Proof of Useful Work (PoUW) for socially beneficial AI compute.
-Current Openings:
Seeking PhD positions (Security/Distributed Systems).
Providing RAG architecture consulting.-Full Manuscript (175 pages, 14 original theorems): https://www.researchgate.net/profile/Bo-Jun-Han
-LinkedIn: www.linkedin.com/in/hbjun