Joe Hurd
Formal Methods Engineer at
Galois, Inc.
Portland, OR, USA
Projects [more]
Recent Talks [more]
- Composable Packages for Higher Order Logic Theories, VERIFY 2010, Edinburgh, UK.
- Evaluation Opportunities in Mechanized Theories, invited talk, EMS+QMS 2010, Edinburgh, UK.
- Formal Methods in Use at Galois, Inc, Guest Lecture, Specification & Verification I, Cambridge, UK.
- Mathematics of Cryptography: A Guided Tour, Galois Tech Talk, Portland, OR, USA.
Recent Publications [more]
- Joe Hurd. Composable packages for higher order logic theories. In M. Aderhold, S. Autexier, and H. Mantel, editors, Proceedings of the 6th International Verification Workshop (VERIFY 2010), July 2010. [PDF] [BiBTeX]
- Joe Hurd. Evaluation opportunities in mechanized theories (invited talk abstract). In D. McGuinness, A. Stump, G. Sutcliffe, and C. Tinelli, editors, Proceedings of the Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (EMS+QMS 2010), July 2010. [PDF] [BiBTeX]
- Joe Hurd and Guy Haworth. Data Assurance in Opaque Computations. In H. Jaap Van den Herik and Pieter Spronck, editors, Advances in Computer Games, 12th International Conference (ACG 2009), volume 6048 of Lecture Notes in Computer Science, pages 221–231, Pamplona, Spain. Springer, May 2010. [PDF] [BiBTeX]
- 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]
Conferences [more]
- Workshop on Systems Software Verification (SSV '10), Invited Speaker.
- Evaluation Methods for Solvers and Quality Metrics for Solutions Workshop (EMS+QMS 2010), Invited Speaker.
- Practical Aspects of Automated Reasoning Workshop (PAAR 2010), PC Member.
- Verification Workshop (VERIFY 2010), PC Member.
- Interactive Theorem Proving (ITP 2010), PC Member.
