GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Chris Hathhorn
Research Engineer
Background
Chris joined Galois in 2025 as a research engineer whose work spans the areas of formal semantics, runtime verification, and high-level hardware synthesis. He is interested in the practical application of formal methods to make both software and hardware analyzable, trustworthy, and provably correct. Before Galois, he was a principal research scientist at Two Six Technologies and a staff scientist at Oak Ridge National Laboratory. He received a PhD from the University of Missouri and a BS from the University of Illinois, both in computer science.
