I wondered why they didn't just use his English name and named it Henry Fok International House, surely the University Admin must've read it out loud in their heads before rubber-stamping the naming rights docs?
http://en.wikipedia.org/wiki/Henry_Fok