2024年9月20日，全国科普日期间，由中国人工智能学会（CAAI）主办，CAAI 人工智能逻辑专委会协办，湖南省人工智能学会承办的“人工智能走进大学校园”活动走进湖南大学信息科学与工程学院。此次活动旨在推广人工智能领域的最新研究成果，激发学生们的创新思维。此次活动邀请了两位青年学者做报告，40余位从事人工智能相关领域的研究生和青年学者参与了此次活动。

活动现场合影

湖南大学数学学院副教授贾晓东的报告题目为《概率程序语言的指称语义基础》。他分享了指称语义的数学框架及其在程序语言中的重要性。他强调，通过数学理论，我们能够更好地理解和预测程序的运行行为，指导程序设计与验证。报告特别讨论了高阶概率程序语言的指称语义基础，涉及到领域内著名的Jung-Tix问题及其相关研究进展，引发了在场师生的热烈讨论。

贾晓东副教授作报告

湖南大学信息科学与工程学院副教授劳奕臻的报告题目为《视觉三维重建：从几何到隐式学习，从理论到落地》。他介绍了卷帘快门相机在计算机视觉领域的重要性，尤其是在机器视觉和自动驾驶中的应用。他详细阐述了卷帘快门相机的时空动态成像特性如何导致几何失真，并介绍了学术界与工业界在优化方法和学习技术方面的最新成果，力求提升下游视觉任务的质量。报告中还回顾了传统运动建模与深度学习相结合的最新进展，展示了课题组在这一领域的最新研究成果和典型应用案例。

劳奕臻副教授作报告