可信软件研究中心
可信软件中心共有三个研究团队,分别由 Georgios Theodoropoulos 讲席教授、刘烨庞副教授、张煜群助理教授担任负责人。主要研究方向包括:1)软件漏洞挖掘与分析技术,2)软件全方位测试理论与关键技术,3)软件漏洞自动修复理论与关键技术,4)自主系统建模与仿真技术。可信软件中心共有双聘教研序列教授3人,科研教学助理3人,博士生14人,硕士生10人,本科生40余人。以研究院为单位发表50余篇国际期刊和会议论文,申请国家发明专利10项,团队成员获批15项国家级、省部级、市级以及企业横向项目,研发的技术在腾讯、华为、香港 PopSquare 等公司部署应用。
研究中心团队
以姓氏首字母排序