Jui-Chung Hung's students