为提升工程领域基础研究能力，推动学科交叉与学科建设，2025年3月31日上午，国际数学权威期刊《爱丁堡数学会会刊》编委、英国思克莱德大学理学院副院长谢尔盖·基塔耶夫教授受邀到访我校，于一校区电机楼30019会议室开展学术讲座并举行学术交流座谈会。电气学院副院长、计算机学院和数学学院的师生们参与了此次活动。

管乐诗副院长对基塔耶夫教授的到来表示热烈欢迎，并高度评价其数学基础理论研究在电路设计、工业控制等领域的应用价值。基塔耶夫教授以《自动生成调度方案非存在性证明的数学框架》为题，深入浅出地介绍了其研究的前沿成果，并结合实际工程案例，展示了理论与实践的紧密结合。在互动环节，与会师生围绕“自动验证框架的NP完全性挑战”“理论成果向工业软件转化的技术路径”等问题展开热烈讨论。

讲座结束后，管乐诗副院长与基塔耶夫教授就科学研究、国际交流合作等相关内容进行了深入交流。双方均表示，此次交流活动为双方在组合数学及相关领域的合作奠定了坚实基础，期待未来能够开展更多形式的合作与交流。

讲座现场

座谈现场

初审：张笠

复审：管乐诗

终审：聂秋月