计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）是在原高可信软件实验室的基础上发展起来的，实验室由段振华教授于2003年10月创建。2005年10月经校学术委员会正式批准成立研究所并更名为计算理论与技术研究所。

经过多年发展，ICTT目前依托于综合业务网理论及关键技术国家重点实验室和陕西省安全攸关智能软件创新团队，已形成了一支素质良好、朝气蓬勃、结构合理的研究队伍。ICTT现有核心成员9人，其中教授2人，副教授3人，博士生导师4人，硕士生导师5人，负责人为田聪教授和段振华教授。