Joe Hurd

At Galois

I work on high assurance compiler technology for security applications, which ties in with my interest in formal verification and higher order logic theorem provers.

My Background

I completed a Ph.D. at the University of Cambridge on the formal verification of probabilistic algorithms, and I am the developer of the Metis open source theorem prover.