 He was elected a member of the Royal Society in May 2010.He is a founding member of the Oxford-Man Institute.He has published more than 250 scientific articles in the areas of computational logic, database theory, and artificial intelligence, and one textbook on logic programming and databases.