4. Only 5-10 upper division undergraduate cs classes. Interested in type theory? Practical encryption? Computer algebra? You're out of luck. Most other universities seem to offer a lot of variety.

I know of almost no university besides maybe MIT where there's no bias in the teaching and research towards certain fields and away from others. It's quite unfortunate, but you have to choose your educational institution based on what specialties you want to enter.