摘要

<正>张景中,中国科学院院士,教授,博士生导师。张景中院士在几何定理可读机器证明、教育数学、动力系统等学科领域做出了重大贡献。张景中院士1979年于中国科学技术大学任教,1986年担任中国科学院研究员,中国科学院成都分院数理科学研究室主任,中国科学院成都计算机应用研究所副所长。1993年12月,被国务院学位委员会批准为博士导师,1995年10月,被选为中国科学院院士,兼任中国计算机学会理事、中国科协委员,1997年当选为中共十五大代表。