符号计算

张景中，中国科学院院士，1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机应用》期刊主编

2019年10月24日-27日，第十一届全国计算机数学学术会议在四川省成都市举行。 本届会议由中国数学会计算机数学专业委员会主办，四川大学、中国科学院数学机械化实验室和中国科学院成都计算机应用研究所承办，四川省计算机学会、民航飞行技术与飞行安全重点实验室和成都市科技青年联合会协办，来自全国各大高校、科研院所及企业的170余名科研人员参会。 开幕式由四川大学数学学院院长张伟年教授主持

研究计算机科学的基础理论，包括量子计算等新型计算模型、算法复杂性理论等；研究以并发、实时、混成、移动、概率等为主要特征的复杂计算系统的形式语义与形式化方法。 研究程序设计语言理论以及高可信软件的设计、分析、验证和测试方法；研究量子程序设计理论与方法；突破基础软件核心技术，研制高安全可信的操作系统、中间件和数据库，形成国产自主可控的基础软件平台体系。 研究高可扩展并行算法与应用软件；研究可信计算与信息保障基础理论、关键技术与系统，包括可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信系统的测评方法与工具等