User Portlet User Portlet

Jonathan Gorard
Jonathan Gorard
Wolfram Research/King's College London
LOCATION: London, UK
WEBSITE: Not indicated
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: Not indicated
ABOUT ME:

Dodgy mathematician, aspiring physicist, armchair philosopher.

I'm a member of the Algorithms R&D Group at Wolfram Research, where I specialise in automated theorem-proving.