Page 54 - 《软件学报》2024年第6期
P. 54
2630 软件学报 2024 年第 35 卷第 6 期
沈天琪(1999－), 男, 硕士生, CCF 学生会员, 主 宾向荣(2000－) 男, 博士生, CCF 学生会员, 主
要研究领域为程序分析. 要研究领域为程序分析.
王熙灶(1995－) 男, 博士生, CCF 学生会员, 主 卜磊(1983－), 男, 博士, 教授, 博士生导师, CCF
要研究领域为程序分析与验证, 程序设计语言. 杰出会员, 主要研究领域为模型检验, 形式化方
法, 信息物理系统, 复杂软件分析与验证.
