Joe Leslie-Hurd - Chess Programming Wiki

Home * People * Joe Leslie-Hurd

Joe Leslie-Hurd ¹

Joe Leslie-Hurd,
a British computer scientist and formal verification engineer at Intel Corporation, Portland, Oregon. He holds a Ph.D. in CS from University of Cambridge in 2003 on formal verification of probabilistic algorithms ¹. As a chess player, he enjoys solving chess problems, studies, and retrograde analysis ², and formalized chess in Higher Order Logic (HOL) to construct formally verified endgame databases ³. Joe Leslie-Hurd is further author of the open source Go playing program Gomi, written in Standard ML ⁴, and the chess diagram tool fen2img, which reads FEN to output diagrams in portable pixmap format (PPM) image format, also written in SML ⁵ ⁶. __FORCETOC__

Contents

Selected Publications

Joe Hurd (2000). Congruence Classes with Logic Variables. ARW 2000
Joe Hurd (2001). Congruence Classes with Logic Variables. ogic Journal of the IGPL, Vol. 9, No. 1, pdf
Joe Hurd (2003). Formal verification of probabilistic algorithms. Ph.D. thesis, UCAM-CL-TR-566, University of Cambridge, pdf
Joe Hurd (2005). Formal Verification of Chess Endgame Databases. Technical Report PRG-RR-05-02, Oxford University Computing Laboratory, pdf