You might also consider the University of Toronto. It's a big school, but the CS department is among the best (and you get to learn computational complexity with Stephen Cook and neural nets with Geoff Hinton). Also look into the Engineering Science program, though that is probably as competitive as the very top US schools.
