Wow! Many thanks for this. Looks like lots to choose from.
I guess you mean he's studying CS at the undergraduate level.
He's doing 5-year CS program which a combination of 3 years bachelor general CS degree + 2 years graduate CS specialized topic programme.