Ben Hocking

Ben Hocking is a Senior Principal AI Research Engineer at RTX Technology Research Center, focusing on AI, formal methods, and safety-critical systems. With over 12 years of experience, Ben has developed expertise in safety case engineering, formal verification, and the integration of machine learning with formal methods, particularly in the aerospace and defense sectors. Prior to this role, Ben worked as a Principal Scientist at Dependable Computing and served as an adjunct professor at the University of Virginia, where they taught undergraduate courses in computer science. Ben's academic background includes a PhD in Computer Science from the University of Virginia and multiple degrees in physics and astronomy.