Academic Homepage

I am Qihao LIAN(练LIÀN 琪Qí灏hào), a second-year Ph.D. student in Programming Language Lab(PLL) at Peking University, under the supervision of Prof. Di Wang.

My main interest is about program analysis (especially resource analysis), novel type system for programming languages, and dependent type theory.