Grateful for pointers of any kind.
Denmark (Aarhus and Copenhagen) seem to have pretty good CS programs as well.
I don't know though how feasible these programs are if you only speak English. Some degree programs are being offered in English these days, so it may be worth an inquiry.
Oxford is small (~20 undergrads/year doing straight CS) and the courses are extremely academic/theoretical in nature - both could be a +/- depending on what you're looking for. The tutorial system at Oxbridge (where you get a few hours personal time with a professor each week) is definately the big bonus that defines what makes it a great education. It's definately not a way that works for everyone though.
For me, choosing where I wanted to study was less about the course and more about the experience I'd have while there - it's a personal thing but I find I learn best by teaching myself, so for me priorities were whether I liked the city, atmosphere, plus the overall perception/reputation of the university since it's obviously nice to come out with a certificate from a "brand name" that people will respect.
The best things about Oxford are the people you meet and wide range of other things to get involved in alongside your course - wherever your friend's looking, I'd definately suggest they use this as part of the comparision.
Let me know if you've got any more specific questions/want follow-ups.
http://homepages.inf.ed.ac.uk/wadler/
I'd think it a good thing to get hooked up with him, depending on your interests.