Joe Hurd
Formal Methods Engineer at
Galois, Inc.
Portland, OR, USA
Projects
Recent Talks
- Packaging Theories of Higher Order Logic, Theory Engineering: Tools and Practice, Cambridge, UK.
- Theory Engineering: Proving in the Large, Workshop on Interactive Theorem Proving, Cambridge, UK.
- Mathematics of Cryptography: A Guided Tour, Galois Tech Talk, Portland, OR, USA.
Recent Publications
- Richard Boulton, Joe Hurd and Konrad Slind. Computer assisted reasoning: A Festschrift for Michael J. C. Gordon. Special Issue of the Journal of Automated Reasoning, 43(3):237-242, October 2009. [HTML] [BiBTeX]
- Joe Hurd. OpenTheory: Package management for higher order logic theories. In Gabriel Dos Reis and Laurent Théry, editors, PLMMS '09: Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems, pages 31–37, Munich, Germany, August 2009. ACM. [PDF] [BiBTeX]
- 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
- Practical Aspects of Automated Reasoning Workshop 2010, PC Member.
- Verification Workshop 2010, PC Member.
- Interactive Theorem Proving 2010, PC Member.
