John Tromp is a Dutch computer scientist.
[1] He formerly worked for Dutch Centre for Mathematics and Computer Science.
[2] Tromp discovered the number of legal states of the board game Go,[1][2] and co-authored with Bill Taylor the Tromp-Taylor Rules,[3][4] which they call "the logical rules of Go".
[5] He is also known for Binary combinatory logic (Binary lambda calculus).