Chen Cui

My name is Chen CuiCui is my surname.. 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.