Joe Hurd
Formal Methods Engineer at
Galois, Inc.
Portland, OR, USA
Projects
Recent Talks
- OpenTheory: Package Management for Higher Order Logic Theories, Galois Tech Talk, Portland, OR, USA.
- Formal Methods in Use at Galois, Inc, Tutorial T-2, IJCAR 2008, Sydney, Australia.
- The Metis Theorem Prover, Intel, Portland, OR, USA.
Recent Publications
- Joe Hurd. Proof pearl: The termination analysis of TERMINATOR. In Klaus Schneider and Jens Brandt, editors, 20th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2007, volume 4732 of Lecture Notes in Computer Science, pages 151–156, Kaiserslautern, Germany, September 2007. Springer. [PDF] [BiBTeX] [HOL4 Proof Script]
Conferences
- Interactive Theorem Proving 2010, PC Member.
- Theorem Proving in Higher Order Logics 2009, PC Member.
- Knowledge Exchange: Automated Provers and Proof Assistants 2008, PC Member.
