Keith Dakin, who got his PhD at Bangor in the 1970s, on higher groupoids, wrote to me from his job in industry:" We can get all the computer scientists we want, but a mathematician who can say which areas of mathematics are appropriate to the problem at hand is worth his/her weight in gold!"