Here are some schools which are strong in CS: Stanford, UC Berkley, Caltech, UIUC, Carnegie Mellon, Georgia Tech, Waterloo, Michigan, UT Austin.
Columbia has CS in both SEAS and Columbia College. Both are difficult to get accepted, but slightly easier in SEAS. Columbia also has binding ED.