小组介绍

小组致力于软件底层代码依赖分析以及面向移动应用和区块链的数据隐私安全应用研究。针对具有高复杂度和高可靠性要求的新型软件系统，设计建立面向领域知识的软件系统多层图模型，结合复杂网络分析、深度学习、NLP等技术，抽取代码中的显示及隐式依赖关系，设计建立面向软件的图模型体系，研究软件的功能正确性以及数据合规性等方法，提升软件设计、开发、测试、维护的自动化程度。

小组主力承担国家自然科学基金、国家科技部重点研发计划等多项课题，研究成果已在腾讯、蚂蚁等单位部署与应用。小组成员获得2017年国家科技进步二等奖、2022年教育部自然科学一等奖、2018年教育部自然科学二等奖、2015年教育部科技进步一等奖、2013年陕西省科技进步一等奖等国家和省部级科技奖励7项。研究成果在TIFS、TSE、ICSE、ACL等CCF A类期刊和会议上发表论文70余篇，获2021 QRS、2019 INFOCOM、2016 ISSRE 等最佳论文奖5项。获得中国发明专利50余项，美国专利2项，其中15项完成校企转让。

小组培养出许多优秀人才，多名优秀毕业生任职高校教授、就职于阿里、百度、腾讯等优秀企业或者在国际一流大学继续攻读完成博士学位。

小组组长

刘烃，博士，教授，教育部青年长江学者，霍英东青年教师基金获得者，西安交通大学网络空间安全学院副院长。主要研究方向包括信息物理融合系统安全和AI软件工程。2003年和2010年分别获西安交通大学学士和博士学位；2016-2017年美国康奈尔大学访问教授。主持和参与国家自然科学基金、重点研发计划等课题十余项。获得2017年国家科技进步二等奖、2022年教育部自然科学一等奖等国家和省部级科技奖励7项。在IEEE TSE、IEEE TSG、IEEE TIFS等国际权威期刊和ICSE、FSE、ASE、ISSTA、INFOCOM等国际顶级会议上发表论文70余篇，获得2021 QRS、2019 IEEE INFOCOM、2016 IEEE ISSRE等最佳论文奖5项。获得中国发明专利40余项，美国专利2项，其中15项完成校企转让。

小组成员

老 师：刘烃、范铭、晋武侠、王海军

博 士：徐茜、金凯迪、贾昂、李姝玥、王寅、刘靖雯、魏佳利、王玉

研 三：马雨、张鑫雨、钟定洪

研 二：张炜煦、林家纬

研 一：许烁、候怡、郭金池、王柄禾、商娇薇、焦文静、鄢子强、石吉飞、张婷婷、胡楠、胡宇睿、雷靖薏

联系我们

联系人：刘烃

Email：tingliu@mail.xjtu.edu.cn