I'll throw in my voice that a "regular" University can still have a good CS program. I am at a large state university. My theoretical courses have been, by and

I'll throw in my voice that a "regular" University can still have a good CS program. I am at a large state university. My theoretical courses have been, by and large, quite good. Our introductory course is based on SICP and Scheme (with a little Python at the end). Our second course is roughly about OO, taught with Java (but without letting us use most of the libraries at all). The design of our program is that you choose an emphasis (I'm in network security; there's also networks, graphics, AI, etc., and yes, software engineering). All emphases have theoretical elements, at least to some degree. I have also had great experiences doing research with professors, who are very open to undergraduates.