User Portlet

I'm a member of the Algorithms R&D Group at Wolfram Research, where I specialise in automated theorem-proving, quantum mechanics, quantum computing, and other assorted mathy, physicsy things.

I'm also one of the principal researchers working on the Wolfram Physics Project (http://www.wolframphysics.org), and a research mathematician at the University of Cambridge.