2024年11月8日16：40-18：40，湖南大学岳麓学者博士生导师贾晓东副教授莅临学校在思学楼A110展开了关于《概率程序语言的domain理论基础》的学术讲座，理学院金检华教授主持了会议，相关方向的教师及研究生们参加了此次学术交流活动。
贾晓东老师首先介绍了函数程序语言及其指称语义，图灵奖得主Dana Scott提出的domain理论利用序与拓扑结构给出程序的含义，借助数学理论来理解和预测程序的运行行为，指导程序语言的设计与验证。接着，他介绍了在人工智能研究中发挥重要作用的概率程序语言，详细阐述了高阶概率程序语言的domain理论基础及著名的Jung-Tix问题，深入浅出地引导师生探索与发现真问题，激发学生的求知欲和创新思维。
与会师生全神贯注地聆听，积极交流讨论，针对概率程序语言的变量类型、指代方式、概率幂domain赋值等问题向贾老师提问请教，贾老师都详细地作了解答。现场气氛活跃，与会师生表示受益匪浅，不仅对概率程序语言及其Domain理论基础有了更深层次的认识，而且拓展了科学研究方法。
此次活动为我校青年教师搭建了学习与交流的平台，助力我校教师在科学研究道路上不断成长与进步，为培养更多优秀教师奠定坚实的基础。
