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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s