<p>Last post (I promise). Since you include BU, I will say also consider Harvard. Your stat matches them pretty well. They are among the best programs for computation theory. You will be fully funded if you can get in. But Harvard being Harvard, you never figure out how they pick people. Admission rate ~12%. :)</p>