Description: Chen Cui is a Ph.D. student at The University of Hong Kong. His research lies in type inference.
Ph.D. Student The University of Hong Kong ccui (at) cs.hku.hk About Me I am currently a PhD student supervised by Prof. Bruno Oliveira and mentored by Dr. Jinxu (Jimmy) Zhao in the Programming Language Group , Department of Computer Science, The University of Hong Kong. My research interests are centred around programming languages. In particular, my current research is focused on type inference for higher-rank polymorphism.