Academic Homepage
[Update : 2026/07/16]
I am Qihao LIAN(练 琪灏), a fourth-year Ph.D. candidate in Programming Language Lab(PLL) at Peking University, under the supervision of Prof. Di Wang.
My current research interest lies in (1) automatic resource bound analysis for Rust, (2) mechanization proof of calculi and type systems, (3) new dependent type theory features and foundations.