软件系统安全小组

小组介绍

软件系统安全小组针对具有高复杂度和高可靠性要求的新型软件系统,设计建立面向领域知识的软件系统多层图模型,结合复杂网络分析、深度学习、NLP等技术,研究软件的结构优化与质量维护、安全监控、自动测试与生成、抄袭检测等方法,提升软件设计、开发、测试、维护的能力和智能化水平。

小组组长

刘烃 博士

博士,教授。主要研究方向包括软件工程和信息物理系统。2003年和2010年分别获西安交通大学学士和博士学位;2016-2017年美国康奈尔大学访问教授。主持和参与国家自然科学基金、重点研发计划等课题十余项。获得2017年国家科技进步二等奖、以及2015年教育部科技进步一等奖等省部级科技奖励5项。在IEEE TSE、IEEE TSG、IEEE TIFS等国际权威期刊和ICSE、FSE、ASE、ISSTA、INFOCOM等国际顶级会议上发表论文70余篇,获得2019 IEEE INFOCOM、2016 IEEE ISSRE等会议最佳论文奖。获得中国发明专利30余项,美国专利2项,其中15项完成校企转让。

个人主页:http://gr.xjtu.edu.cn/web/tingliu

小组成员

范铭 博士 助理教授

范铭, 西安交通大学网络空间安全学院助理教授(青秀计划A类),硕士生导师; 香港理工大学、西安交通大学计算机系双学位博士; 获得西安市2020年科协托举计划以及2019年全国博士后国际交流引进计划支持;TSE, TDSC, TR, IEEE Access, FGCS , 中国科学 信息科学等期刊审稿人;承担国家自然科学基金青年项目等6项课题;在ICSE, TIFS, TSE, TR等重要国际期刊与国际会议上发表论文20余篇,并获得ISSRE 2016, NASAC 2018软件系统安全分论坛最佳论文奖。

晋武侠 博士 助理教授

晋武侠,助理教授,软件学院。2020年3月获得西安交通大学计算机专业博士学位,2018年在美国Drexel University进行博士联合培养。在TSE、ASE、ICSE、JSS等权威会议和期刊发表学术论文,研究方向软件分析、架构质量。

老 师:刘烃、范铭、晋武侠

博 士:池剑磊、崔笛、徐茜、郭家琪、李姝玥、贾昂、金凯迪、王玉

研 三:马雪

研 二:刘静雯、魏闻英、王寅、司梓良

研 一:魏佳利、江朝昀、钟定洪、马雨、张宇云、张鑫雨

保送生:张炜煦、丁紫凡、戴铱彤

小组成果展示