科研团队：

教授：段振华，田聪，张南

副教授：王小兵，赵亮，陆旭

讲师：黄伯虎，张捷，于斌，苏镇镇

享受国务院政府津贴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）。

科研方向和科研成果：

研究所围绕保障安全攸关软件系统可信性的重大技术挑战问题，开展软件验证方法和核心技术研究，以MSVL统一程序验证方法和抽象精化方法为核心研发了国产的安全攸关软件资源共享和协同验证平台MSV，为我国航天和卫星导航系统软件的发展提供了关键技术支撑和实践指南。主要研究方向有：人工智能使能软件系统开发及验证，嵌入式软件开发方法及质量保障，可信软件的基础理论与方法。

ICTT在科技部“973”计划、国家重点研发计划、国家自然科学基金重大研究计划和优秀青年基金等项目的资助下，取得了长足的发展，发表高水平论文200余篇，包括CCF A类期刊TSE、TOSEM、TKDE、TCAD，CCF A类会议LICS、ICSE、ASE、IJCAI，理论计算机著名国际期刊TCS等数十篇，授权专利50余项，软件著作权10余项，于2014年获得陕西省科技进步一等奖1项，2015年获得教育部自然科学一等奖1项，2019年获批陕西省重点创新团队，2021年获批西安市重点实验室。研究成果处于国内领先水平，部分研究成果国际领先，在国家“探月工程三期月地高速再入返回飞行器”和浏览器安全验证中得到了成功应用。在学术交流方面，研究所广泛开展与美国（德克萨斯大学达拉斯分校）、英国（牛津大学）、日本（法政大学）、新加坡（南洋理工大学）、航天五院五〇二所、华为等著名大学与科研机构的学术交流与合作。此外，还承办了一系列国际和国内学术会议（TASE 2011、ICFEM 2017、COCOON 2019，SOFL+MSVL 2011-2021），这些合作活动与学术交流对扩大研究所在国际上的影响，提高学术水平，拓宽研究领域和了解前沿研究动态等发挥了较大作用。