Litao Zhou

Hi, this is Tony, I am a member of the Programming Language Group of the University of Hong Kong, as a Ph.D student starting in 2022 Fall supervised by Prof. Bruno C. d. S. Oliveira. I am interested in programming languages design, type systems and recursive types.

Email: ltzhou AT cs DOT hku DOT hk

News

Publication

Education

Service

Teaching

Projects

Links