Simon Dolera

Independent Researcher · AI Systems, Evaluation & Governance

I work across AI systems. Agentic architecture, model evaluation and behavior testing, LLM deployment, and governance. I build in Rust. Formal verification in Lean 4 where proof is tractable, explicit bounds where it is not. Every assumption stated, every residual risk quantified.