Professional Biographies
Joe Hurd is a Formal Methods Engineer at Galois, Inc. He completed a Ph.D. at the University of Cambridge on the formal verification of probabilistic programs, and his work since has included: developing a package management system for higher order logic theories; applying automatic proof techniques for first order logic; and creating the world's first formally verified chess endgame database.
Joe Hurd, Ph.D. is a Formal Methods Engineer at Galois, Inc. For the past ten years Dr. Hurd has been applying theorem proving techniques to formally verify the correctness of complex software, including probabilistic programs, elliptic curve cryptography and game tree analysis algorithms. He is also the developer of Metis, an automatic theorem prover for first order logic, and coordinates the OpenTheory project, a package management system for higher order logic theories. Dr. Hurd is an active member of the theorem proving research community, having organized conferences in 2005 and 2008, given invited talks, and regularly appears on program committees and reviews papers for conferences and journals. Prior to joining Galois in 2007, Dr. Hurd was a research fellow at Magdalen College, University of Oxford. He studied at the University of Cambridge, receiving a Masters level degree in Mathematics in 1997, and a Ph.D. in Computer Science in 2002.
Curriculum Vitae
Conferences
- Theorem Proving in Higher Order Logics 2009, PC Member.
- Knowledge Exchange: Automated Provers and Proof Assistants 2008, PC Member.
- Theorem Proving in Higher Order Logics 2008, PC Member.
- Empirically Successful Automated Reasoning for Mathematics, PC Member.
- Tools and Techniques for Verification of System Infrastructure, Organizer.
- Theorem Proving in Higher Order Logics 2007, PC Member.
- 6th International Workshop on Strategies in Automated Deduction, PC Member.
- Theorem Proving in Higher Order Logics 2005, PC Chair.
Personal Biography
The eldest of three brothers, I grew up in the Bath end of Somerset: a county in the south west of England. My first nine years were spent in the tiny village of Cranmore, and then my family moved to the nearby town of Frome. There I attended Frome College and took up chess to while away the lunchtimes. I completed my studies in Cambridge, and then worked for a time in the university Computer Laboratory while living in the village of Girton. I continued my research in Oxford, taking up go to while away the evenings, and then moved into industry in Portland, Oregon.
