Simon Dolera

Independent Researcher · Formal Verification & AI Assurance

I construct machine-checked guarantees for AI systems: formal proof where verification is tractable, explicit bounds where it is not. Every assumption is stated, every residual risk quantified — nothing rests on confidence alone.