Difference between revisions of "Joe Leslie-Hurd"

From Chessprogramming wiki
Jump to: navigation, search
 
(No difference)

Latest revision as of 21:34, 8 May 2021

Home * People * Joe Leslie-Hurd

Joe Leslie-Hurd [1]

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 [2]. As a chess player, he enjoys solving chess problems, studies, and retrograde analysis [3], and formalized chess in Higher Order Logic (HOL) to construct formally verified endgame databases [4]. Joe Leslie-Hurd is further author of the open source Go playing program Gomi, written in Standard ML [5], and the chess diagram tool fen2img, which reads FEN to output diagrams in portable pixmap format (PPM) image format, also written in SML [6] [7].

Selected Publications

[8] [9]

2000 ...

2010 ...

External Links

References

Up one level