卜磊,男,南京大学软件学院教授、博士生导师,主要研究领域涉及软件工程、可信软件、形式化方法,在实时混成系统、信息物理融合系统模型检验、运行时验证等方面取得突破,有效提高了可验证系统的规模与验证效率。部分创新性成果发表于相关领域重要期刊与会议,如《中国科学》、TCAD、TC、TDSC、TCPS、RTSS、ICSE、ISSTA、DAC等;所研制的验证工具在国际混成系统验证工具大赛、国际软件代码验证工具大赛等赛事中连续保持领先,并在列控、工控等领域得到应用验证。入选国家级青年人才计划、获高校计算机专业优秀教师奖、CCF-IEEE CS青年科学家奖、NASAC青年软件创新奖等奖项。共同指导的博士生获CCF优秀博士学位论文奖。 2023年获得中创软件人才奖
李姗姗,女,国防科技大学计算机学院教授、博士生导师,青年长江学者。长期致力于高可信软件的前沿研究,在大规模软件代码缺陷检测、配置驱动的演化控制、组件异步演化融合等问题的研究上取得突破,有效缓解了传统方法代码规模受限、难以支持增量分析等难题。在ICSE、ASE、FSE、ISSTA、VLDB、ASPLOS、TSE、TOSEM等领域内权威刊物及会议上发表论文100余篇,获得包括ACM SIGSOFT Distinguished Paper Award (ICSE’23)在内的论文奖励6次。研制的工具在国产操作系统、指挥控制系统等基础软件中得到应用,并产生了良好的社会效益和军事价值。曾荣获湖南省科技创新领军人才、CCF NASAC青年软件创新奖,国家科技进步二等奖(2019/排名9)、湖南省技术发明一等奖(2019/排名2)、CCF技术发明二等奖(2021/排名2)和自然科学二等奖(2018/排名3)等奖励。共同指导的博士学位论文获评为全军优秀博士学位论文、入选“CCF优秀博士学位论文激励计划”提名(2022)。 2023年获得中创软件人才奖
李帅,男,北京航空航天大学计算机学院教授、博士生导师,青年长江学者。中国仿真学会医疗仿真专委会副主任、中国解剖学会智慧解剖分会副主任、北京计算机学会常务理事。主要从事虚拟现实/增强现实、医疗仿真、可视计算、人工智能等方面的研究,研发了支持全程力反馈的个性化血管介入手术模拟器、妇科介入手术模拟器以及个性化人体器官建模工具等医疗仿真系统,并在北京协和医院、安徽妇幼保健医院等医学院所应用, 实现了国产化替代。相关研究成果在IEEE TPAMI、IJCV、IEEE TIP、IEEE TVCG、IEEE VR、AAAI、ICCV、NeurIPs等学术期刊和国际会议发表论文110多篇。获授权国家发明专利30多项,获国家科技进步一等奖(2010/排名9)、中国电子学会科技进步一等奖(2020/排名2)、山东省科技进步二等奖(2020/排名2)、中国产学研合作创新成果一等奖(2021/排名2)、中国发明协会创新奖二等奖(2021/排名3)。入选中国仿真学会优秀科技工作者(2020)、北京航空航天大学优秀博士论文指导教师(2021)。 2023年获得中创软件人才奖