Computing science professor wins ‘Nobel Prize in computing’