EPSRC-funded researcher at the University of Cambridge. Algorithms researcher and mathematical consultant at Wolfram Research, Inc.
Interested in mathematical logic, computational physics, and everything in-between.

Website currently under construction.