全校各单位：

我校甘庭讲师作为第4完成人参与完成的“安全攸关控制系统形式验证基础理论与方法”项目拟提名2022年度北京市自然科学奖。

按照北京市科学技术奖励工作办公室《关于启动2022年度北京市科学技术奖提名工作的通知》要求，我校作为第4参与完成单位对该项目基本情况进行公示（详见附件），公示时间为2023年4月12日至2023年4月18日。

全校各单位或个人对该提名项目的有关意见，可在2023年4月18日前以书面实名形式向科学技术发展研究院反映，并提供必要证明材料。反映情况要坚持实事求是，具体详实，便于调查核实。

特此公示。

联 系 人：陆飘银 殷娜

联系电话：68772102 68772136

电子邮件：chengguo@whu.edu.cn

科学技术发展研究院

2023年4月12日

（公示已结束）