报告题目：Valuations monads-the knowns and unknowns

主讲人：贾晓东  教授

报告时间：2024年8月24日14:00-15:00

报告地点：数学院304

主办单位：数学科学学院

报告摘要：连续赋值映射最初由Claire Jones和Gordon Plotkin在Domain理论中提出，是经典测度的非Hausdorff拓展，是表示编程语言概率影响的有用工具。本次报告旨在阐述关于赋值monad的许多已有的以及一些新的结果，此外，关于连续赋值映射的很多问题也将在本次报告中讨论。

主讲人简介：贾晓东博士是湖南大学数学学院教授，李庆国教授领导的拓扑学及其应用理论小组成员。主要研究方向为Domain理论、拓扑学、程序设计语言的指称语义。现主持国家自然科学基金面上项目“Domain理论中概率幂构造的相关问题”，试图从Domain理论的角度理解程序设计语言中的概率影响。