Avinash A. Independent Researcher | Formal Methods & AI Safety, a mathematical researcher specializing in the structural limits of AI alignment. The architect of the Terminal Boundary Systems (TBS) framework, which applies Category Theory to identify fundamental "safety ceilings" in agentic AI. My core work includes the ASE (Absolute Self-Explanation) Impossibility Theorem, a formal proof using Symmetric Monoidal Closed Categories and Lawvere’s Fixed-Point Theorem to demonstrate why total internal transparency is mathematically unreachable. Currently, focused on the Agda formalization of these results to provide a machine-verifiable "Axiomatic Audit" for frontier AI labs. Research aims to bridge the "missing link" between categorical logic and robust, human-centric AI autonomy.

Projects