Page 146 - 《软件学报》2025年第8期
P. 146
于涛 等: 基于下推自动机的同步数据流语言可信编译 3569
于涛(1999－), 男, 硕士, 主要研究领域为形式化 罗杰(1981－), 男, 博士, 副教授, CCF 专业会员,
验证, 可信编译. 主要研究领域为软件基础理论, 知识获取与推
理, 群体智能.
王珊珊(1999－), 女, 硕士, 主要研究领域为形式 杨溢龙(1988－), 男, 博士, 副教授, CCF 专业会
化验证, 可信编译. 员, 主要研究领域为智能化软件工程.
徐芊卉(2000－), 女, 硕士生, 主要研究领域为形 吕江花(1975－), 女, 博士, 副教授, CCF 专业会
式化验证, 可信编译. 员, 主要研究领域为软件形式化方法, 面向航空
航天的安全攸关系统可信性验证.
董晓晗(2000－), 女, 硕士生, 主要研究领域为验 马殿富(1960－), 男, 博士, 教授, CCF 会士, 主要
证编译器, 形式化方法. 研究领域为安全关键系统, 形式化方法.
胡代金(2002－), 男, 硕士生, CCF 学生会员, 主
要研究领域为形式化验证, 可信编译.
