计算科技研究院（以下简称“研究院”）由智能软件研究院与引进新型计算机研究团队组成。通过建设成为一流计算科学与前沿技术研究中心、高水平智能软件成果转化推进平台，打造计算科学研究和人工智能人才培养特区。
研究院下设智能软件研究所、新型计算机研究所、生物信息处理研究所、图与组合优化研究所4个研究机构，研究方向涉及计算科学、数学、生物信息学、新型计算机、智能软件和人工智能等多个前沿科学研究领域。研究院按照教育部工程中心要求以及更高层次平台的目标建设实验室，包括“新型计算机实验室”、“智慧数学实验室”等。

张院士主要从事机器证明、教育数学、距离几何及动力系统等张景中领域的研究。其主要贡献是：（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（三）创立定理机器证明的数值并行方法的原理和算法。（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。（五）创立了教育数学的思想和方法。