John Tromp
John Tromp is a Dutch computer scientist. He formerly worked for Dutch [Centre for Mathematics and Computer Science]. Tromp discovered the number of legal states of the board game Go, and co-authored with Bill Taylor the Tromp-Taylor Rules, which they call "the logical rules of Go".
He is also known for his work in Binary combinatory logic and lambda diagrams that supply a graphical way of representing lambda calculus expressions.