From what I hear he has 3 more years. It's damn impressive when you consider who he had to beat and the problems they were given. He also came into this year's IOI with two golds and one silver from previous years, so he has a lot of experience. Another major feat is that he recently became the youngest TopCoder target (top 20 or so in an open ranking system).

My guess is he'll be moving on from high school early.