AI Engineer building verifiable AI systems, focusing on formal verification, functional programming, and mathematical rigor, using Kotlin and TypeScript, with emphasis on reliability and explainability.
