http://dbpedia.org/resource/David_Mitchell_(computer_scientist)
data from the linked data cloud