This is an impressive course load ... looks like he started by taking Math 55 freshman year, reputedly the hardest freshman math course in the country.
I'm not 100% certain, but i believe he ranked pretty highly in IMO (maybe a gold medalist). A Lot of those caliber guys take grad level courses in sophomore year so I'm sure math 55 isn't as tough for them.