I'm at Imperial College London. It's great for me because the course is very hands-on (I'm in second year, and so far we've built a compiler and an operating system). If you're into the more theoretical stuff elsewhere might be better, but we're pretty highly ranked at the minute so it's a good degree. Lots of industry links too!