Aoyang Yu

I am Aoyang Yu (余奥洋 in Chinese), an undergraduate studying computer science at Turing Class, Zhejiang University. I am expected to graduate in 2023.

I am interested in the fancy world of programming language theory, proof assistants and homotopy type theory. I want to do research in these fields!

Here is my CV.