概率程序语言的domain理论基础

报告题目：概率程序语言的domain理论基础

报告人： 贾晓东  湖南大学副教授，博士生导师

报告时间：2024年11月8日16：40-18:40

报告地点：思学楼A110

报告人简介：

       贾晓东，湖南大学数学学院副教授，博士生导师，湖南大学岳麓学者；先后师从李庆国教授和Achim Jung教授学习domain理论与指称语义学，博士毕业于英国伯明翰大学计算机科学学院；随后在巴黎-萨克雷大学与Jean Goubault-Larrecq教授、美国杜兰大学与Michael Mislove教授从事博士后研究工作； 现主要从事domain理论、非Hausdorff拓扑、指称语义学等方面的研究；主持完成国家自然科学基金青年项目一项；现主持国家自然科学基金面上项目一项，主持湖南大学优秀青年人才培育计划项目，参与国家自然科学基金重点项目一项；在《Journal of the ACM》、LICS、POPL、《Mathematical Structures in Computer Science》、《Theoretical Computer Science》、《Applied Categorical Structures》、《Topology and its Applications》和《Logical Methods in Computer Science》等期刊和会议发表论文20余篇。

报告内容摘要：

      图灵奖得主Dana Scott提出的domain理论利用序与拓扑结构给出程序的含义，借助数学理论来理解和预测程序的运行行为，指导程序语言的设计与验证。近年来，概率程序语言在人工智能研究中发挥着重要的作用，在本报告中，我们重要讨论高阶概率概率程序语言的domain理论基础。这涉及到理论计算机科学中著名的Jung-Tix问题与我们在这一问题研究中的相关进展。

主办单位：理学院、人工智能研究院、非线性动力系统研究所、数理力学研究中心 

科学技术发展研究院