Home * People * Joe Leslie-Hurd

Joe Leslie-Hurd,
a British computer scientist, Ph.D. in CS from University of Cambridge in 2003 on formal verification of probabilistic algorithms [1], and component design engineer at Intel Corporation, Portland, Oregon. As a chess player, he enjoys solving chess problems, studies, and retrograde analysis [2], and formalized chess in Higher Order Logic (HOL) to construct formally verified endgame databases [3]. Joe Leslie-Hurd is further author of the open source Go playing program Gomi, written in Standard ML [4], and the chess diagram maker fen2img, which reads FEN to output diagrams in portable pixmap format (PPM) image format, also written in SML [5] [6].
Joe Leslie-Hurd [7]

Selected Publications

[8] [9]

External Links


  1. ^ Joe Leslie-Hurd - CV
  2. ^ Gilith - Chess
  3. ^ Joe Hurd (2005). Formal Verification of Chess Endgame Databases. in Joe Hurd, Edward Smith, Ashish Darbari Theorem proving in higher order logics: Emerging trends proceedings. Technical Report PRG-RR-05-02, Oxford University Computing Laboratory, pdf
  4. ^ Gomi Go Player
  5. ^ fen2img Chess Diagram Maker
  6. ^ Gilith - Chess Diagram Maker
  7. ^ Gilith - Welcome
  8. ^ Gilith - Research Papers
  9. ^ dblp: Joe Hurd
  10. ^ HOL (proof assistant) from Wikipedia
  11. ^ Homotopy Type Theory

What links here?

Up one level