Iain Whiteside

Iain Whiteside has a strong background in computer science and mathematics, with experience working in various research and development roles. With a focus on formal verification and safety assurance in autonomous vehicles and critical systems, Iain has held positions at companies such as ReSim.ai, Five AI, and NASA Ames Research Center. Their expertise includes developing tools for system safety, formalizing safety cases, and implementing computer-verified mathematical proofs. Iain's educational background includes a PhD in Computer Science from The University of Edinburgh.