全国科普日丨人工智能走进大学校园活动在湖南大学举办

主要观点总结

在2024年全国科普日，由中国人工智能学会主办、CAAI人工智能逻辑专委会协办、湖南省人工智能学会承办的“人工智能走进大学校园”活动在湖南大学举办。活动包括两位青年学者的报告，旨在推广人工智能的最新研究成果并激发学生的创新思维。活动吸引了40余位人工智能领域的研究生和青年学者参加。

关键观点总结

关键观点1: 活动背景和目的

活动由中国人工智能学会主办，旨在推广人工智能领域的最新研究成果，激发学生们的创新思维。

关键观点2: 活动内容和报告主题

活动包括两位青年学者的报告，分别是湖南大学数学学院副教授贾晓东关于概率程序语言的指称语义基础和湖南大学信息科学与工程学院副教授劳奕臻关于视觉三维重建的报告。

关键观点3: 贾晓东的报告内容

贾晓东分享了指称语义的数学框架及其在程序语言中的重要性，特别讨论了高阶概率程序语言的指称语义基础，涉及到Jung-Tix问题及相关研究进展。

关键观点4: 劳奕臻的报告内容

劳奕臻介绍了卷帘快门相机在计算机视觉领域的重要性，尤其是其在机器视觉和自动驾驶中的应用。他还阐述了卷帘快门相机的时空动态成像特性如何导致几何失真，以及学术界与工业界的最新成果和典型应用案例。