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