Here it is revealed that the true identity of the robot mathematician is Joe Leslie-Hurd, a Component Design Engineer working at Intel in Portland, Oregon. Before that, he worked at Galois, Inc. where he used functional programming languages to construct correctness proofs of software. He studied at Cambridge University, receiving degrees in mathematics and then computer science as he made the realization that it’s easier to program computers to find proofs than to do them by hand. In his free time Joe contributes to open source projects, carries out independent research and regularly gives talks to audiences at all levels.