Background
Ben earned his PhD in Computer Science at the University of California, Davis. His academic research includes static analysis and automated rewriting of mobile code to enforce security policies. Prior to joining Galois, Ben’s work in industry involved cyber security in critical infrastructure and high assurance systems.