Climber 🇪🇬| Chief AI Scientist at AI Now Institute (safety-critical SW ☢️/✈️/🚗 & AI). Formal Methods PhD. ISO.
x- Zipline, OpenAI, Adelard, MSFTResearch