Sounds like Grad School to me … Pick the school with the strongest theoretical CS program, make sure he also takes a lot of stats. And prep for grad school. No undergrad program would be sufficient. Simply not enough time.