Why would a "South Korean" student mention Microsoft?
You do realize they are to different countries.
South or North Korean, you're still Korean. And since North Korean students aren't all too common, Korean students is synonymous to South Korean students.