张院士是著名的计算机科学家、数学家和数学教育学家。现任广州大学计算机教育软件研究所所长，中国科学院成都计算机应用研究所名誉所长，中国科普作家协会理事长。1991 年开始享受政府特殊津贴，曾获“全国优秀教师”等称号及“全国五一劳动奖章”。1995 年10 月当选中国科学院院士。张院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。