Princeton has Brian Kernighan as an academic advisor http://www.cs.princeton.edu/ugrad/becoming-cs-major and their undergrad CS theory courses look incredible compared to the univ I went to, and I paid only $10k/yr less in tuition than a Princeton student.