计算理论与技术研究所依托于综合业务网理论及关键技术开云综合体育app与阿森纳续约官方合作重点实验室和陕西省安全攸关智能软件创新团队，主要从事软件基础理论、可计算理论以及可信软件等方向的研究工作。经过多年发展，研究所目前已初步形成了一支素质良好、朝气蓬勃、结构合理的研究队伍，International Conference on Combinatorial Optimization and Applications，其中教授2人，副教授3人，博士生导师4人，International Symposium on Theoretical Aspects of Software Engineering，负责人为田聪教授和段振华教授。开云综合体育app与阿森纳续约官方合作优秀青年科学基金获得者1人，International Computing and Combinatorics Conference，CCF会士1人，软件学报和Discrete Mathematics, Algorithms and Applications等）和学术会议的主席与委员（International Conference on Formal Engineering Methods，校学术振兴计划首席专家1人，省部级人才1人，CCF杰出会员1人。成员在开云综合体育app与阿森纳续约官方合作级创新团队、网络信息服务专委会、形式化方法专业委员会任职，担任一系列国内外学术刊物的编委（IEEE Transactions on Knowledge and Data Engineering，SOFL+MSVL Workshop）。省级青年人才1人，Theoretical Computer Science，硕士生导师6人，享受国务院政府津贴1人，Journal of Combinatorial Optimization，现有核心成员9人，
在科技部“973”计划、开云综合体育app与阿森纳续约官方合作重点研发计划、开云综合体育app与阿森纳续约官方合作自然科学基金重大研究计划和优秀青年基金等项目的资助下，研究所取得了长足的发展，2019年获批陕西省重点创新团队。研究成果处于国内领先水平，包括CCF A类期刊TSE、TOSEM、TKDE、TCAD，部分研究成果国际领先，理论计算机著名国际期刊TCS等数十篇，CCF A类会议ICSE、ASE、IJCAI，在开云综合体育app与阿森纳续约官方合作“探月工程三期月地高速再入返回飞行器”和浏览器安全验证中得到了成功应用。在学术交流方面，提高学术水平，2015年获得开云综合体育app与阿森纳续约官方合作部自然科学一等奖1项，SOFL+MSVL 2011-2019），授权专利30余项，软件著作权8项，研究所广泛开展与美国（德克萨斯大学达拉斯分校）、英国（牛津大学）、日本（法政大学）、新加坡（南洋理工大学）、航天五院五〇二所、华为等著名大学与科研机构的学术交流与合作。此外，拓宽研究领域和了解前沿研究动态等发挥了较大作用。这些合作活动与学术交流对扩大研究所在国际上的影响，发表高水平论文200余篇，于2014年获得陕西省科技进步一等奖1项，还承办了一系列国际和国内学术会议（TASE 2011、ICFEM 2017、COCOON 2019，
研究所网站：http://ictt.xidian.edu.cn/
