2023年11月22日下午，為進一步提升我校在計算機領域的學術能力，也為青年教師提供更多的國際學術合作機會，BETVLCTOR伟德官方网站邀請Jean-Pierre Talpin教授（以下簡稱JP教授）一行在BETVLCTOR伟德官方网站216會議室圍繞軟件系統形式化驗證、軟件系統安全等領域開展了講座并進行深入交流。JP教授是法國國家信息與自動化研究所（INRIA）的高級研究員，領導TEA科研項目。目前主要研究方向有系統設計的并發性、信息物理系統（CSP）的組合方法和程序驗證等。JP教授在國際學術期刊或會議上共發表了100餘篇論文，擔任10多個論壇、會議的委員會成員，并與Mads Tofte一起獲得2004年ACM最具影響力的POPL論文獎，與Pierre Jouvelot一起獲得2012年ACM/IEEE LICS Test of Time獎。
BETVLCTOR伟德官方网站副院長陳蕾(主持工作) 、電子信息執行副主任靳軍、科研秘書李潔以及線下和線上多位同學參與了講座，并和JP教授展開了熱烈讨論和交流。陳蕾老師介紹了BETVLCTOR伟德官方网站的基本情況，代表BETVLCTOR伟德官方网站師生對JP教授一行專程來BETVLCTOR伟德官方网站交流表示歡迎，并對對教授在科研、學科建設等方面多年來的支持和幫助表達了感謝，雙方就後續進一步深度合作達成共識。
JP教授首先分享了TEA研究小組在eBPF虛拟機的端到端形式化驗證等近三年的主要成果，詳細解讀了形式化方法在CSP、操作系統内核等驗證過程中的重要概念、原理和應用。他的精彩講解引發了在場師生的熱烈讨論，大家紛紛針對自己研究工作中碰到的學術以及留學深造等問題進行了提問，JP教授給予詳細解答。
最後，JP教授一行對老師和同學們的研究工作表示了肯定，并希望大家能将學習到的知識融合到更多實際領域中，為進一步推動軟件系統安全、形式化方法的産學研結合與研究成果落地做出貢獻。講座和交流在師生們熱烈的掌聲中圓滿結束，大家表示受益匪淺，希望能夠參加更多的國際學術交流活動，促進我校學生培養和學科建設質量的進一步提升。
