John Tromp is a researcher formerly employed by the Centrum voor Wiskunde en Informatica. He has published papers on the Complexity of Go. His homepage contains a list of his research and recreational interests. John Tromp's Go page includes The Logical Rules of Go also known as the Tromp-Taylor Rules.
He made the Shodan Go Bet that before 2011, no computer program running on "ordinary" hardware could beat him in a 10 game match. In late 2010, Tromp won a best of seven match by 4-0 against Many Faces of Go in games played at the London Open and broadcast on KGS. In January 2012, he lost 1-3 to Zen in a five game match on KGS with similar conditions.
Among his publications on the Complexity of Go are: