He received his Ph.D. in 2005 from the University of Alberta. His major contribution to the checkers project was developing an efficient solution to the troubling graph-history interaction problem (with Martin Mueller). He was a co-author of ISshogi, which won the World Computer Shogi championships several times, and also works on search algorithms for computer Go.