Difference between revisions of "Joe Leslie-Hurd"

From Chessprogramming wiki
Jump to: navigation, search
(Created page with "'''Home * People * Joe Leslie-Hurd''' FILE:joehurd.jpg|border|right|thumb|link=https://scholar.google.com/citations?user=iGScUhoAAAAJ&hl=en| Joe Leslie-H...")
(No difference)

Revision as of 10:43, 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]

External Links


Up one level