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

经过二十余年的发展，ICTT目前依托于综合业务网理论及关键技术国家重点实验室、陕西省安全攸关智能软件创新团队、西安市软件可信认证关键技术重点实验室，形成了一支素质良好、朝气蓬勃、结构合理的研究队伍。ICTT现有核心成员10人，其中教授3人，副教授3人，讲师4人，博士生导师4人，硕士生导师6人。