John Tromp's logo

Board Games and Artificial Intelligence, Algorithms, Complexity, Algorithmic Information Theory, Distributed Computing, Computational biology, and what not. Recently i've been designing a new Proof-of-Work system called Cuckoo Cycle. Less recent research has focused on the Combinatorics of Go, specifically counting the number of legal positions. I've been playing with a Lambda Calculus based utterly simple computer model. My Erdös number is 2, courtesy of Jeffrey Shallit, my favourite CS lecturer, who coauthored papers with both me and Erdös. A while ago I studied the complexity of OriMazes.