Wen Lan, male, Han nationality, is a native of Jing County, Anhui Province. He graduated from Beijing University in 1970 and received a doctorate from Northwestern University in 1986.
Wen spent his entire career as a professor at Beijing University. Wen proved Williams' Guess of non-expansion hyperbolic attraction under certain additional conditions. He also expanded the C1 closing lemma of a reversible system to an impossibly reversible system and proved the closing lemma of a reversible system to an intensified format again to enable independence of one of the two heads of path arc segment to be closed against a guide operator along a non-loafing path. Wen and others also proved a general C1 linking lemma and solved a longstanding path linking problem.
He was elected to the Chinese Academy of Sciences in 1999.