2020年7月15日下午， 华东师范大学杨争峰教授应公司郑大彬教授邀请， 为公司密码编码学团队作线上学术报告，报告通过腾讯会议举行。会议由郑大教授主持，来自公司编码密码学团队的教师、博士和硕士研究生近10多人参与了报告的听取、讨论。

杨争峰教授的报告题目为《A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation》，报告介绍了一种分析和验证混成系统新的算法，解决了如何快速生成不变式和障碍函数，以满足大规模、高复杂验证问题的需要，分析了算法的复杂度，比较了该算法比已知的商用算法具有很大优越性。

报告结束后，老师和员工们踊跃提问，杨争峰教授对老师和员工们提出的问题给予了耐心详细的解答。通过本次学术交流，员工们开阔了视野，了解与现实问题更加相关的一些科学问题。