Wolfram Research/King's College London
LOCATION: London, UK
WEBSITE: Not indicated
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: Not indicated
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.