I am currently a Research Assistant (and going to be a PhD student soon), supervised by Prof. Bruno Oliveira 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.
Telephone: (+852) 6574 2686
Office: Room LG105, Composite Building, The University of Hong Kong, Pokfulam, Hong Kong, China
Page generated by
Copyright © 2021 Chen Cui