Jamie Smith has over twenty-five years of embedded design and test & measurement experience in safety-critical industries. Jamie is currently the VP of Product Management and Head of Products for Safety-Critical Systems at Imandra. Imandra provides an automated reasoning SaaS platform for formal verification and creating formally verified digital twins. Jamie spent most of his career at National Instruments (now NI), where I led the automotive research and development team and industrial internet of things groups. Jamie earned a Master of Science in Applied Physics from Stanford and a Bachelor's in Physics from UC Santa Barbara. He is a frequent speaker at automotive, digital transformation, and industry conferences.

Imandra is the world leader in cloud-scale automated reasoning. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra's Reasoning as a Service™ platform is leading the way.