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. 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 was also the member of Distributed (Deep) Machine Learning Community and was the applied scientist intern in Amazon AWS Science Group.
My current research topic is about type systems, in particular, recursive types and intersection types. I am the author of paper Revisiting Iso-Recursive Subtyping, which is accpeted by OOPSLA'20.
I am a multilingual. You can talk with me in Mandarin (mother tongue), Cantonese (mother tongue), English (professional) or Japanese (beginner).