Academic Homepage

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

My main interest is about type system, program analysis and verification.