I am Yaoda Zhou. I am a Ph.D candidate in Programming Language Group of the University of Hong Kong. My supervisor is Prof. Bruno C. d. S. Oliveira. My current research topic is about type systems, in particular, recursive types and intersection types. I got my bachelor degree from ACM Honored Class, Zhiyuan College, Shanghai Jiao Tong University and was a visiting student under the supervision of Prof. Haiyuan Yu in Weill Institute, Cornell University. I am also the member of Distributed (Deep) Machine Learning Community and was the applied scientist intern in Amazon AWS Science Group.
I am a multilingual. You can talk with me in Mandarin (mother tongue), Cantonese (mother tongue), English (professional) or Japanese (beginner).