Hmm, Kim Il Sung University is ranked 30th. Didn't know NK sent students to ACM ICPC.

https://en.wikipedia.org/wiki/Kim_Il-sung_University