John Tromp

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).