4月6日，青岛农业大学理学与信息科学学院线上举办了“形式化方法在软件开发中的应用”为主题的2022年第二期学术大讲堂，本次学术大讲堂的主讲人是许海洋博士，讲座以线上会议的形式进行，理信学院部分教职工与学生参加线上报告。

　　许海洋，博士，毕业于南京航空航天大学计算机应用技术专业。主要从事软件测试、信息技术在农业中的应用等方面的研究。参与国家生猪产业技术体系岗位科学家项目、中国中医科学院名贵中药材可持续利用能力建设项目、山东省重点研发计划项目等研究项目。与中国电科院、许继集团、航天中认软件测评等企业合作开展课题研究。

　　报告会上，许海洋向师生介绍了形式化方法在软件开发周期各个阶段发挥的作用，详细分析了计算机软硬件系统的规模和复杂性，展现了形式化方法的特点及其科学性，说明了形式化方法在简化软件开发复杂性和提高软件可靠性方面显现出的重要作用。最后，许海洋从形式化验证在商业、通信业和芯片制造业等方面的应用进行了讲解。