各学院：

华东师范大学将在本周六组织开展“同心抗疫·学无止境”科学系列空中讲堂。根据学校的安排，我校部分师生将通过线上的形式集中参加讲座。现将有关事项通知如下：

一、讲座主题

学术研究如何推动商业创新：机遇与挑战

二、主讲嘉宾

蒲戈光教授：华东师范大学软件工程学院执行院长

三、讲座时间

2022年6月11日（星期六）上午10:00—

四、讲座地点

弘文楼110报告厅

五、参加人员

数学与统计学院、物理与信息工程学院、农学与生命科学学院、化学化工学院、人文学院、教育科学学院、管理学院、地理科学与旅游学院各安排15名学生参加。马克思主义学院、外国语学院、体育学院、艺术学院各安排10名学生参加。各学院还需安排1名教师组织好本学院的学生签到及参加报告会。

欢迎广大师生通过腾讯会议（腾讯会议31-761-460）参加报告会。

六、其他事项：

请参与人员提前15分钟签到入场，将手机关闭或调至静音状态，并全程佩戴好口罩就坐。

科技处

2022年6月10日

附件：

1、专家简介

2、“同心抗疫•学无止境”华东师范大学科学系列空中讲堂预告

附件1：

专家简介

蒲戈光，华东师范大学软件工程学院执行院长，上海工业控制安全创新科技有限公司总经理，CCF形式化专委副主任。研究聚焦形式化方法与软件工程领域，在软件验证理论与算法，与工业级验证工具研发等方面做出了创新贡献。目前担任科技部重点研发计划专项“人工智能安全可信理论及验证平台“首席科学家。研究成果曾获ACM 杰出论文奖、上海市科技进步特等奖、北京市科技进步一等奖等奖项。近五年在ICSE、ASE、FSE、IJCAI、AAAI等主流会议发表学术论文20余篇。主导研发的多款创新验证与测试算法对发现真实软件缺陷非常有效，如研发的自动化测试工具Stoat发现了5000多个App的8000多个缺陷，包括微信、抖音等商业App的严重缺陷。其中主导研发的两款工业级软件验证工具服务了30余家企业，有效提升了企业软件开发的质量与效率，并成功支撑嫦娥五号飞行器、上海无人驾驶17号线等重大工程的顺利实施。

附件2：