Mathematician and computer scientist at Metagov, Stanford, Oxford.