Location via proxy:   
[Report a bug]   [Manage cookies]                
avatar

Chen Cui

Ph.D. Candidate
The University of Hong Kong
ccui (at) cs.hku.hk
i (at) cuichen.cc



About Me

I am currently a PhD candidate 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.

Publications

  1. $$F_{\sqcup\sqcap}^e$$
    POPL
    Bidirectional Higher-Rank Polymorphism with Intersection and Union Types
    Shengyi Jiang, Chen Cui and Bruno C. d. S. Oliveira
    In 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). January 2025
    PDF Ext. Ver. Impl., Proofs & Dockers

  2. $$\displaylines{(\lambda f.~\lambda x.~f~x):\\ (\forall (a \le 1). a \to a) \to 1 \to 1 }$$
    OOPSLA
    Greedy Implicit Bounded Quantification
    Chen Cui, Shengyi Jiang and Bruno C. d. S. Oliveira
    In 37th ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). October 2023
    PDF Ext. Ver. Impl., Proofs & Dockers Slides Proofs (Online) Var. Proofs (Online) BibTeX

Teaching

  • COMP1117 Computer Programming at HKU. Spring 2025
  • COMP2121 Discrete mathematics at HKU. Spring 2022, Fall 2022, Fall 2023

Miscellaneous