张景中
计算机科学家、中国科学院院士
条目
历史版本
张景中，男，1936年12月30日生，河南汝南人，[2]计算机科学家、数学家、教育家、中国科学院院士。[3][4]其主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。[2]
1954年，张景中进入北京大学数学力学系学习。[5]1959年，张景中从北京大学数学力学系毕业。1979年，他在中国科学技术大学数学系担任讲师，并于1981年升为副教授。[5][6]1986年，张景中担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长。1991年，张景中开始享受政府特殊津贴。1995年10月，张景中当选为中国科学院院士。同年他调入广州师范学院。[5][6][4]1996年，张景中创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。[1]1997年，张景中当选为中共十五大代表。[5][6]2002年，张景中在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。[1]2022年9月17日，张景中作为首批进入广州科普研究智库的专家，在2022年广州市全国科普日主会场活动暨第五届科普嘉年华上亮相。[7]
张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题；创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。他曾获1995年中国科学院自然科学奖一等奖、1997年国家自然科学二等奖及“全国五一劳动奖章”等；其应用研究获1982年国家发明二等奖等。[8][9]
人物经历
张景中，男，1936年12月30日生，河南汝南人。[2]