Resume
Publications
Courses
Students
Projects

Lihong Zhi, Professor
Director of Key Lab. of Mathematics Mechanization
Academy of Mathematics and System Sciences
Chinese Academy of Sciences

Adjunct Professor of Cheriton School of Computer Science, University of Waterloo

lzhi at mmrc.iss.ac.cn (email)