2023年11月22日下午，为进一步提升我校在计算机领域的学术能力，也为青年教师提供更多的国际学术合作机会，2024欧洲杯买球网站邀请Jean-Pierre Talpin教授（以下简称JP教授）一行在2024欧洲杯买球网站216会议室围绕软件系统形式化验证、软件系统安全等领域开展了讲座并进行深入交流。JP教授是法国国家信息与自动化研究所（INRIA）的高级研究员，领导TEA科研项目。目前主要研究方向有系统设计的并发性、信息物理系统（CSP）的组合方法和程序验证等。JP教授在国际学术期刊或会议上共发表了100余篇论文，担任10多个论坛、会议的委员会成员，并与Mads Tofte一起获得2004年ACM最具影响力的POPL论文奖，与Pierre Jouvelot一起获得2012年ACM/IEEE LICS Test of Time奖。
2024欧洲杯买球网站副院长陈蕾(主持工作) 、电子信息执行副主任靳军、科研秘书李洁以及线下和线上多位同学参与了讲座，并和JP教授展开了热烈讨论和交流。陈蕾老师介绍了2024欧洲杯买球网站的基本情况，代表2024欧洲杯买球网站师生对JP教授一行专程来2024欧洲杯买球网站交流表示欢迎，并对对教授在科研、学科建设等方面多年来的支持和帮助表达了感谢，双方就后续进一步深度合作达成共识。
JP教授首先分享了TEA研究小组在eBPF虚拟机的端到端形式化验证等近三年的主要成果，详细解读了形式化方法在CSP、操作系统内核等验证过程中的重要概念、原理和应用。他的精彩讲解引发了在场师生的热烈讨论，大家纷纷针对自己研究工作中碰到的学术以及留学深造等问题进行了提问，JP教授给予详细解答。
最后，JP教授一行对老师和同学们的研究工作表示了肯定，并希望大家能将学习到的知识融合到更多实际领域中，为进一步推动软件系统安全、形式化方法的产学研结合与研究成果落地做出贡献。讲座和交流在师生们热烈的掌声中圆满结束，大家表示受益匪浅，希望能够参加更多的国际学术交流活动，促进我校学生培养和学科建设质量的进一步提升。
