Joe Hendrix

Principal Researcher

I develop tools for helping machines reason about systems and software to identify security flaws and software defects. My work focuses on domains with high security demands. In the past, I’ve worked on verification of elliptic curve cryptography and symmetric key cryptography. I am currently leading a multi-year project that applies automated reasoning techniques to signal processing algorithms.


Joe received his Ph.D. in Computer Science at the University of Illinois Urbana-Champaign in 2008 for research in new decision procedures for automated reasoning. Before coming to Galois, he developed tools for attack surface analysis at Microsoft’s Trustworthy Computing Center.