Thomas Snyder (born c. 1980) is an American puzzle creator and world-champion sudoku and logic puzzle solver. He is the first person to win both the World Sudoku Championship (3 times) and the World Puzzle Championship. Snyder writes a puzzle blog as Dr. Sudoku.