Thomas Snyder (born c. 1980) is an American puzzle creator and world-champion sudoku solver. He writes a puzzle blog as Dr. Sudoku.