科研团队：
ICTT成员入选教育部“长江学者”特聘教授1人，国家优秀青年科学基金获得者1人，享受国务院政府津贴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）。