2026年4月7日至4月17日，法国阿图尔瓦大学（Artois University）Jean-Marie Lagniez教授来我院开展学术交流活动。Lagniez教授围绕布尔可满足性问题、知识表示与可解释人工智能等主题，面向我院研究生和本科生进行了专题授课与前沿技术讨论，为博士生进行科研能力短期培训，并与学院教师开展专题研讨，我院150余名师生参与研讨交流活动。

Lagniez教授分别以“Introduction of Boolean Satisfiability Problem”和“Knowledge Representation and its Application”作了两场专题学术报告。在本科生新技术讲座中，Lagniez教授以“Beyond the Heatmap: An Introduction to Formal XAI”为题，围绕形式化可解释人工智能的研究背景、基本思想及前沿进展进行了深入讲解。

Jean-Marie Lagniez教授现任职于法国阿图尔瓦大学朗斯计算机科学研究中心（CRIL）。长期从事计算机科学与人工智能相关研究，研究方向涉及可满足性求解、知识表示与推理、约束推理、模型计数以及可解释人工智能等，在相关领域开展了持续而深入的研究工作。

此次系列学术交流活动正值我院计算机建系40周年，是我院与国际科研前沿接轨，促进交流合作的重要活动，不仅拓宽了学院师生的学术视野，加深了大家对相关研究领域前沿问题的认识与理解，也进一步促进了学院与国外高水平学者之间的交流合作。

初审：武珊

复审：魏来

终审：郑燕林