计信学院举办“教师能力提升”学术讲座
来源：计算机与信息工程学院
发布时间：2024年12月05日
12月3日，计算机与信息工程学院在28号楼302会议室举办“教师教学能力提升”学术讲座。本次讲座邀请华东师范大学软件工程学院副院长、博士生导师张民教授和我院研究生导师刘振栋教授作为主讲嘉宾。本次讲座由我院主办，青年教师联谊会承办，青年教师申奥博士主持。
张民教授围绕“面向高可靠智能控制系统的形式化方法研究”进行了深入讲解，分享了团队在CAV、NeurIPS等国际顶级会议上的研究成果，探讨了形式化方法在提升智能控制系统安全性和可靠性方面的应用。
刘振栋教授则通过“我所理解的成果鉴定”的报告，详细讲解了科技成果鉴定的背景、流程及重要性，为师生们提供了宝贵的实践经验。
两位教授的分享拓宽了大家的学术视野，也激发了师生们对科研创新的热情，为师生提供了更多交流学习的机会。